Merge pull request #8778 from mshabunin:pr6853
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Tue, 23 May 2017 19:08:30 +0000 (19:08 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Tue, 23 May 2017 19:08:31 +0000 (19:08 +0000)
commit246f47fe96651b82ede378a6b1abcc4d5877fbde
treecc10817a848696e87b5016d2cab035802b7ee57d
parent7c3577f7ae49d5c8caba69c744d2bbd7b3c67bd5
parent7cefb52fdab3954bec7cffe552ac8ca959be1240
Merge pull request #8778 from mshabunin:pr6853