Typo fix patch.
authorEric S. Raymond <esr@thyrsus.com>
Fri, 11 Aug 2023 00:53:30 +0000 (20:53 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Fri, 11 Aug 2023 00:53:30 +0000 (20:53 -0400)

No differences found