]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1900 - RalfJung:rustup, r=RalfJung
authorbors <bors@rust-lang.org>
Wed, 13 Oct 2021 18:04:51 +0000 (18:04 +0000)
committerbors <bors@rust-lang.org>
Wed, 13 Oct 2021 18:04:51 +0000 (18:04 +0000)
commit24a1d78a70c4dbeeee2164d0162e95b81f0e754b
tree0708911ed54b1b1b831e9619ca79db44974b2c84
parent315e2b2f8c6552d3001dffde53b28988439aaa5e
parent4a44c33976f8d8037b761c1182c3be9fcd895b61
Auto merge of #1900 - RalfJung:rustup, r=RalfJung

rustup

Just making sure the CI failure in https://github.com/rust-lang/miri/runs/3879412292?check_suite_focus=true is truly intermittent.