Merge pull request #13102 from alalek:issue_13101
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sat, 10 Nov 2018 19:11:06 +0000 (19:11 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sat, 10 Nov 2018 19:11:06 +0000 (19:11 +0000)

Trivial merge