Merge pull request #9235 from sturkmen72:patch-3
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 3 Aug 2017 17:04:28 +0000 (17:04 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 3 Aug 2017 17:04:28 +0000 (17:04 +0000)

Trivial merge