-
Seth Hillbrand authored
When renaming a symbol, be sure to handle name escaping in all of the various places that we do renaming (!) Fixes #11939 (cherry picked from commit 0dab5662)
902629c1
When renaming a symbol, be sure to handle name escaping in all of the various places that we do renaming (!) Fixes #11939 (cherry picked from commit 0dab5662)