Merge pull request #14610 from mshabunin:fix-gtk-gl
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 23 May 2019 15:05:18 +0000 (15:05 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 23 May 2019 15:05:18 +0000 (15:05 +0000)

Trivial merge