Skip to content

Conversation

@MikeTheSnowman
Copy link
Contributor

@MikeTheSnowman MikeTheSnowman commented Oct 6, 2022

Fix and unit test for issue #1834 .
Thanks again @remkop for the fix. ☺

@remkop remkop added type: enhancement ✨ theme: usagehelp An issue or change related to the usage help message labels Oct 12, 2022
@remkop remkop linked an issue Oct 12, 2022 that may be closed by this pull request
@remkop remkop added this to the 4.7 milestone Oct 16, 2022
@remkop remkop merged commit b910763 into remkop:main Oct 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

theme: usagehelp An issue or change related to the usage help message type: enhancement ✨

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Incorrect synopsis for char[] options

2 participants