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

rustup

Just a routine rustup, nothing to see here.

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