Skip to content

Allow renaming a variable twice as it might happen in some cases.#4967

Merged
ilyalesokhin-starkware merged 1 commit intomainfrom ilya/rename_twiceJan 31, 2024

Commits