Rename project-stable-mir to project-rustc-public#690

nxsaken merged 1 commit into

rust-lang:mainrust-lang/rust-project-goals:mainfrom

nxsaken:project-stable-mirnxsaken/rust-project-goals:project-stable-mirCopy head branch name to clipboard