Merge pull request #11033 from adamrankin:patch-1
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 8 Mar 2018 17:49:10 +0000 (17:49 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 8 Mar 2018 17:49:10 +0000 (17:49 +0000)

Trivial merge