Skip to content

Optimize end-of-options delimiter code - #736

Merged
DannyBen merged 1 commit into
masterfrom
optimize/end-of-options-delimiter
Sep 27, 2026
Merged

DannyBen merged 1 commit into
masterfrom
optimize/end-of-options-delimiter

Conversation

@DannyBen

@DannyBen DannyBen commented Sep 27, 2026 •

Copy link
Copy Markdown
Member

Generated code has duplicate blocks of code - one for args before -- and one for args after.

This PR fixes that.

@DannyBen
DannyBen merged commit 3cf4064 into master Sep 27, 2026
7 checks passed
@DannyBen
DannyBen deleted the optimize/end-of-options-delimiter branch September 27, 2026 18:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant