Merge pull request #9771 from Bisaloo:patch-1
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 5 Oct 2017 10:48:20 +0000 (10:48 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 5 Oct 2017 10:48:20 +0000 (10:48 +0000)

Trivial merge