Skip to content

Rename project-stable-mir - #2522

Merged
marcoieni merged 1 commit into
rust-lang:mainfrom
makai410:update-rpub
Jun 17, 2026
Merged

Rename project-stable-mir#2522
marcoieni merged 1 commit into
rust-lang:mainfrom
makai410:update-rpub

Commits

Commits on Jun 17, 2026