Merge pull request #15195 from mshabunin:disable-pch
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 1 Aug 2019 16:33:10 +0000 (16:33 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 1 Aug 2019 16:33:10 +0000 (16:33 +0000)

Trivial merge