Merge pull request #759 from jeromerobert/bug742
authorZhang Xianyi <traits.zhang@gmail.com>
Tue, 26 Jan 2016 14:43:32 +0000 (08:43 -0600)
committerZhang Xianyi <traits.zhang@gmail.com>
Tue, 26 Jan 2016 14:43:32 +0000 (08:43 -0600)
Bug742


Trivial merge