Merge pull request #7024 from paroj:semanticidx
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 8 Aug 2016 15:19:36 +0000 (15:19 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 8 Aug 2016 15:19:36 +0000 (15:19 +0000)

Trivial merge