Skip to content

Bugfix/wrong opt in o4#542

Merged
boriel merged 4 commits intomasterfrom
bugfix/wrong_opt_in_O4
Aug 16, 2021
Merged

Bugfix/wrong opt in o4#542
boriel merged 4 commits intomasterfrom
bugfix/wrong_opt_in_O4

Conversation

@boriel
Copy link
Copy Markdown
Collaborator

@boriel boriel commented Aug 16, 2021

No description provided.

@boriel boriel merged commit 9de3c54 into master Aug 16, 2021
@boriel boriel deleted the bugfix/wrong_opt_in_O4 branch August 16, 2021 16:37
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