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

rustup

Just the occasional bump can't hurt...

@bors r+

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