Merge pull request #7057 from K-Shinotsuka:issue13
authorMaksim Shabunin <maksim.shabunin@gmail.com>
Thu, 11 Aug 2016 11:46:33 +0000 (11:46 +0000)
committerMaksim Shabunin <maksim.shabunin@gmail.com>
Thu, 11 Aug 2016 11:46:33 +0000 (11:46 +0000)

Trivial merge