Merge pull request #9815 from alalek:issue_9813
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 9 Oct 2017 20:08:00 +0000 (20:08 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 9 Oct 2017 20:08:00 +0000 (20:08 +0000)

Trivial merge