Merge pull request #13425 from alalek:issue_13277
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Wed, 12 Dec 2018 16:21:46 +0000 (16:21 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Wed, 12 Dec 2018 16:21:46 +0000 (16:21 +0000)

Trivial merge