Merge pull request #13189 from alalek:cmake_options_warnings_update
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Fri, 16 Nov 2018 21:36:15 +0000 (00:36 +0300)
committerGitHub <noreply@github.com>
Fri, 16 Nov 2018 21:36:15 +0000 (00:36 +0300)

Trivial merge