Merge pull request #9999 from mshabunin:fix-gcc72-warnings
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 7 Nov 2017 13:37:24 +0000 (13:37 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 7 Nov 2017 13:37:25 +0000 (13:37 +0000)

Trivial merge