Tweak a coverage exclusion.
authorEric S. Raymond <esr@thyrsus.com>
Mon, 10 Jul 2017 18:52:18 +0000 (14:52 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Mon, 10 Jul 2017 18:57:55 +0000 (14:57 -0400)

No differences found