Merge pull request #780 from jeromerobert/bug727
authorZhang Xianyi <traits.zhang@gmail.com>
Mon, 8 Feb 2016 18:24:40 +0000 (13:24 -0500)
committerZhang Xianyi <traits.zhang@gmail.com>
Mon, 8 Feb 2016 18:24:40 +0000 (13:24 -0500)
Bug727


Trivial merge