Merge pull request #15900 from komakai:fix-osx-build
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Wed, 13 Nov 2019 17:02:08 +0000 (17:02 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Wed, 13 Nov 2019 17:02:08 +0000 (17:02 +0000)

Trivial merge