Fix some issues with our options in the new experience#12262
Merged
davidwengier merged 5 commits intodotnet:mainfrom Sep 24, 2025
Merged
Fix some issues with our options in the new experience#12262davidwengier merged 5 commits intodotnet:mainfrom
davidwengier merged 5 commits intodotnet:mainfrom