Merge pull request #715 from simonkwesi/patch-1
authorDan Vanderkam <danvdk@gmail.com>
Mon, 8 Feb 2016 17:38:32 +0000 (12:38 -0500)
committerDan Vanderkam <danvdk@gmail.com>
Mon, 8 Feb 2016 17:38:32 +0000 (12:38 -0500)
Extended list of users


Trivial merge