Fix a coverage gap.
authorEric S. Raymond <esr@thyrsus.com>
Mon, 31 Jul 2017 18:59:58 +0000 (14:59 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Mon, 31 Jul 2017 18:59:58 +0000 (14:59 -0400)

No differences found