Merge pull request #4371 from mwichmann/maint/helpmsg
commit0f17b9b6b09bd7087b21a85bc97911c4566b5665
authorWilliam Deegan <bill@baddogconsulting.com>
Sat, 15 Jul 2023 00:22:00 +0000 (14 17:22 -0700)
committerGitHub <noreply@github.com>
Sat, 15 Jul 2023 00:22:00 +0000 (14 17:22 -0700)
tree3e75826ef75baea422b0ebf60651f7b9da750a4a
parent567c32add14cc14d146f3732c7cab4b5dcdc8f9f
parentabb2473901736da826767436702f6f081c058d36
Merge pull request #4371 from mwichmann/maint/helpmsg

Adjust help message about -H
CHANGES.txt