Merge pull request #9656 from bblanchon:RelWithDebInfo
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 19 Sep 2017 11:12:58 +0000 (11:12 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 19 Sep 2017 11:12:58 +0000 (11:12 +0000)

Trivial merge