Eliminate a label.
authorEric S. Raymond <esr@thyrsus.com>
Fri, 16 Nov 2018 13:30:26 +0000 (08:30 -0500)
committerEric S. Raymond <esr@thyrsus.com>
Fri, 16 Nov 2018 13:30:26 +0000 (08:30 -0500)

No differences found