]> granicus.if.org Git - check/commitdiff
Merge branch 'master' into improve-gcc-version-at-least
authorBranden Archer <b.m.archer4@gmail.com>
Sat, 31 Aug 2019 07:02:06 +0000 (00:02 -0700)
committerGitHub <noreply@github.com>
Sat, 31 Aug 2019 07:02:06 +0000 (00:02 -0700)

Trivial merge