Auto merge of #1423 - RalfJung:rustup, r=RalfJung
Auto merge of #1423 - RalfJung:rustup, r=RalfJung

rustup

No changes needed -- but the next bump is blocked on https://github.com/rust-lang/rust/pull/72425.

rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri