Merge pull request #7556 from terfendail:ovxhal_101compl
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 10 Nov 2016 15:56:01 +0000 (15:56 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 10 Nov 2016 15:56:01 +0000 (15:56 +0000)

Trivial merge