Merge pull request #12314 from sturkmen72:patch-2
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 30 Aug 2018 12:44:23 +0000 (12:44 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 30 Aug 2018 12:44:23 +0000 (12:44 +0000)

Trivial merge