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)
commit84ee4d701ac592ff21f00edcf9583035e54d0b28
tree84442e847d5cf74025538c719e043005771e18aa
parentce20efb8e7ef75f83a19c1b9b3976e6511cc002b
parent267c5a747b5c23f3c0a41d72146aa4d730c52531
Merge pull request #10297 from tomoaki0705:suppressOclWarning