mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-22 10:05:06 +03:00
34eb73c72d
And a couple of other naming tweaks Related to https://github.com/rust-lang/rust/issues/48054