Merge pull request #830 from eschnett/patch-1
authorZhang Xianyi <traits.zhang@gmail.com>
Fri, 1 Apr 2016 21:35:22 +0000 (17:35 -0400)
committerZhang Xianyi <traits.zhang@gmail.com>
Fri, 1 Apr 2016 21:35:22 +0000 (17:35 -0400)
commit3349e9debdc9c601636b88d61ccd4df53ad16ff1
tree7bae8e26faaf6b47d8f1530a38cf2bbf1fe5397a
parente5a6ef380875b4dc98ecde2b445d461ec75cffb4
parentdd7612358dd68bd0db90ea9b334c2a3dbc7c62c4
Merge pull request #830 from eschnett/patch-1

Correct small typo in comment