Merge pull request #6816 from phunsukwangdu:devbranch1
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Tue, 19 Jul 2016 15:50:11 +0000 (15:50 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Tue, 19 Jul 2016 15:50:11 +0000 (15:50 +0000)
commit705e776f097513d0a6f218f611800ac875adf812
treec63f73a230f6f50c05abc76d2b46c2b7af622574
parentb0cc4956989ff6b763bd825162a62fdc9103a8f0
parentd913463932440b7ba56b4bf527887b509b5ca71a
Merge pull request #6816 from phunsukwangdu:devbranch1