Merge pull request #10297 from tomoaki0705:suppressOclWarning
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Wed, 13 Dec 2017 07:56:34 +0000 (07:56 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Wed, 13 Dec 2017 07:56:35 +0000 (07:56 +0000)

Trivial merge