Fix CLI rename-symbol scope option not being applied correctly#1720
Merged
josefpihrt merged 2 commits intodotnet:mainfrom Dec 14, 2025
Merged
Fix CLI rename-symbol scope option not being applied correctly#1720josefpihrt merged 2 commits intodotnet:mainfrom
josefpihrt merged 2 commits intodotnet:mainfrom