]> granicus.if.org Git - check/commitdiff
Merge pull request #190 from mikkoi/fix-abbreviations
authorBranden Archer <b.m.archer4@gmail.com>
Mon, 3 Jun 2019 00:33:10 +0000 (17:33 -0700)
committerGitHub <noreply@github.com>
Mon, 3 Jun 2019 00:33:10 +0000 (17:33 -0700)
Eliminate abbreviations like nf for number_failed


Trivial merge