Fix whitespace glitch.

This commit is contained in:
Eric S. Raymond 2023-03-09 10:19:34 -05:00
parent 643eab4e9c
commit 8f527fb433