Merge pull request #8777 from mshabunin:pr6852
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Tue, 23 May 2017 15:19:36 +0000 (15:19 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Tue, 23 May 2017 15:19:36 +0000 (15:19 +0000)
commit1ce61f312925fc04618725012b452cf2033fa773
treee2ed14f7e24ad02621e59d94eea57838ef06393f
parenta065e4b9aa119d1e3104800f0f9ef79ec8f1b73e
parent8ee8710c02f832de5dc0e5341fbd30d87da2fb9f
Merge pull request #8777 from mshabunin:pr6852