From: Eric S. Raymond Date: Mon, 31 Jul 2017 18:59:58 +0000 (-0400) Subject: Fix a coverage gap. X-Git-Tag: 1.3~8 X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=5d6b3aaf629c2e8eb0eb4956acce0462731f6d70;hp=5d6b3aaf629c2e8eb0eb4956acce0462731f6d70;p=open-adventure.git Fix a coverage gap. ---