Skip to content

Conversation

BrunoQuaresma
Copy link
Collaborator

Fix #7247

@BrunoQuaresma BrunoQuaresma requested review from a team and rodrimaia and removed request for a team April 24, 2023 17:45
@BrunoQuaresma BrunoQuaresma enabled auto-merge (squash) April 24, 2023 17:45
@BrunoQuaresma BrunoQuaresma merged commit 35b3ed2 into main Apr 25, 2023
@BrunoQuaresma BrunoQuaresma deleted the bq/fix-default-option-from-url branch April 25, 2023 20:26
@github-actions github-actions bot locked and limited conversation to collaborators Apr 25, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

default for option parameters are not honored.
2 participants