Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(ui): incompatible options #58

Merged
merged 1 commit into from
Apr 6, 2024
Merged

Conversation

raphaelcoeffic
Copy link
Member

When switching from one target to another, some incompatible values were not removed properly.

@raphaelcoeffic raphaelcoeffic requested a review from riwanou April 6, 2024 13:51
@raphaelcoeffic raphaelcoeffic force-pushed the fix-incompatible-options branch 2 times, most recently from a7ded09 to 8756522 Compare April 6, 2024 14:37
When switching from one target to another, some incompatible values were not removed properly.
@raphaelcoeffic raphaelcoeffic force-pushed the fix-incompatible-options branch from 8756522 to 4d66ae4 Compare April 6, 2024 14:48
@raphaelcoeffic raphaelcoeffic merged commit e142e11 into master Apr 6, 2024
4 checks passed
@raphaelcoeffic raphaelcoeffic deleted the fix-incompatible-options branch April 6, 2024 14:52
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.

2 participants