Skip to content

Update long-options for -o#7893

Merged
rbdavis merged 2 commits intomasterfrom
common-long-update
Oct 10, 2023
Merged

Update long-options for -o#7893
rbdavis merged 2 commits intomasterfrom
common-long-update

Conversation

@PaulWessel
Copy link
Member

@rbdavis, given we now merged in #7887 we need to update -o, as -i.

Given we now merged in #7887 we need to update -o, as -i.
@PaulWessel PaulWessel added the maintenance Boring but important stuff for the core devs label Oct 9, 2023
@PaulWessel PaulWessel added this to the 6.5.0 milestone Oct 9, 2023
@PaulWessel PaulWessel requested a review from rbdavis October 9, 2023 20:20
@PaulWessel PaulWessel self-assigned this Oct 9, 2023
@rbdavis
Copy link
Contributor

rbdavis commented Oct 9, 2023 via email

Sorry, forgot to change 'i' to 'o'...
@rbdavis rbdavis merged commit fe88063 into master Oct 10, 2023
@rbdavis rbdavis deleted the common-long-update branch October 10, 2023 21:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Boring but important stuff for the core devs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants