Skip to content

Support short flag of --features#150

Merged
bors[bot] merged 1 commit intomainfrom
cli
May 12, 2022
Merged

Support short flag of --features#150
bors[bot] merged 1 commit intomainfrom
cli

Conversation

@taiki-e
Copy link
Owner

@taiki-e taiki-e commented May 12, 2022

@taiki-e
Copy link
Owner Author

taiki-e commented May 12, 2022

bors r+

@bors
Copy link
Contributor

bors bot commented May 12, 2022

Build succeeded:

@bors bors bot merged commit bea917a into main May 12, 2022
@bors bors bot deleted the cli branch May 12, 2022 00:48
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

Comments