Minor coverage inclusion.
authorEric S. Raymond <esr@thyrsus.com>
Tue, 11 Jul 2017 15:57:46 +0000 (11:57 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Tue, 11 Jul 2017 15:57:46 +0000 (11:57 -0400)

No differences found