Merge pull request #772 from gfyoung/house-cleaning
authorSteven Black <redacted>
Fri, 7 Sep 2018 05:16:15 +0000 (01:16 -0400)
committerGitHub <redacted>
Fri, 7 Sep 2018 05:16:15 +0000 (01:16 -0400)
Minor house-cleaning


Trivial merge
git clone https://git.99rst.org/PROJECT