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)
commite38271342393b360d5ae85d603954ecd5d2fab10
treecb44eb1c23b6f9026655231ac63cd5e148cde389
parentaaa8551c57a0119022e794e90d7615da8d2ac4d3
parent1fe3aab047df22b6f0e597d09f018f39429ed31d
Merge pull request #759 from jeromerobert/bug742

Bug742