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)
commit429cc64f290f6c932f0a4c27d0f0e46d15ef8ecf
treee862bee46f2aa9b60dbaf0b9efe59b64df4e250e
parent5ee118faf11c3ec4bc146bfb0e9c235a00924cd0
parent92442955bc692970f33b8d17504dd06f7cf49539
Merge pull request #772 from gfyoung/house-cleaning

Minor house-cleaning
git clone https://git.99rst.org/PROJECT