From: Eric S. Raymond <esr@thyrsus.com>
Date: Fri, 16 Nov 2018 13:30:26 +0000 (-0500)
Subject: Eliminate a label.
X-Git-Tag: 1.7~13
X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;ds=inline;h=deb489cd8c64305e6561ddf5c38ee5841394c104;hp=deb489cd8c64305e6561ddf5c38ee5841394c104;p=open-adventure.git

Eliminate a label.
---