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)
commit28d28a2607700e9601d186217872db239c80cd69
tree9c9f3649941a7f762843f92c717523ee01e42255
parentb316aa371099bea51b7a90abb7a7b073caf50531
parent15dabc11b559c3946f3aeecb608534d826220470
Merge pull request #7024 from paroj:semanticidx