]> granicus.if.org Git - check/commit
Merge branch 'master' into is-makeinfo-required
authorBranden Archer <b.m.archer4@gmail.com>
Sun, 1 Sep 2019 01:43:15 +0000 (18:43 -0700)
committerGitHub <noreply@github.com>
Sun, 1 Sep 2019 01:43:15 +0000 (18:43 -0700)
commit7e1e40a38baabe5f3d97be6d34da8f969b59ceca
treed361e979008a96196b3aaf64c6ba54aed780860f
parentc4e5c3cbb8cdac49b0614533d60c5d1fe5da8456
parentc11097ebc46a25d1ed49826e9b5dc8c6f1bac664
Merge branch 'master' into is-makeinfo-required