More whitespace cleanup.
authorEric S. Raymond <esr@thyrsus.com>
Sat, 18 Feb 2017 16:53:17 +0000 (11:53 -0500)
committerEric S. Raymond <esr@thyrsus.com>
Sat, 18 Feb 2017 16:53:17 +0000 (11:53 -0500)

No differences found