]> granicus.if.org Git - check/commitdiff
Merge branch 'master' into rm-useless-else
authorBranden Archer <b.m.archer4@gmail.com>
Wed, 3 May 2017 02:05:11 +0000 (22:05 -0400)
committerGitHub <noreply@github.com>
Wed, 3 May 2017 02:05:11 +0000 (22:05 -0400)

Trivial merge