Skip to content

Revert "[release/dev18.0] Fix some issues with our options in the new experience"#12298

Merged
chsienki merged 1 commit intorelease/dev18.0from
revert-12263-backport/pr-12262-to-release/dev18.0
Oct 7, 2025
Merged

Revert "[release/dev18.0] Fix some issues with our options in the new experience"#12298
chsienki merged 1 commit intorelease/dev18.0from
revert-12263-backport/pr-12262-to-release/dev18.0