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)
commit233c6b959fa4a9b98730de3d02082a91dad53baf
tree6d25800e1a64e982445bea4d1f9bd8e24795c7fb
parentbe4e5fcd20f236834816312c6874f6e72e7cd8ad
parent16ec5323c9ddf3efe31c85a2a9b4141c452db580
Merge pull request #780 from jeromerobert/bug727

Bug727