Merge pull request #10340 from alalek:log_level_option
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 21 Dec 2017 08:33:18 +0000 (08:33 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 21 Dec 2017 08:33:18 +0000 (08:33 +0000)

Trivial merge