More comment cleanup.
authorEric S. Raymond <esr@thyrsus.com>
Thu, 20 Jul 2017 18:52:14 +0000 (14:52 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Thu, 20 Jul 2017 21:25:03 +0000 (17:25 -0400)

No differences found