Remove unused labels.
authorEric S. Raymond <esr@thyrsus.com>
Tue, 23 May 2017 00:55:21 +0000 (20:55 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Tue, 23 May 2017 00:55:21 +0000 (20:55 -0400)

No differences found