Fix whitespace glitch.
authorEric S. Raymond <esr@thyrsus.com>
Thu, 9 Mar 2023 15:19:34 +0000 (10:19 -0500)
committerEric S. Raymond <esr@thyrsus.com>
Thu, 9 Mar 2023 15:19:53 +0000 (10:19 -0500)

No differences found