]> git.lizzy.rs Git - rust.git/commit
Auto merge of #2056 - RalfJung:rustup2, r=RalfJung
authorbors <bors@rust-lang.org>
Thu, 7 Apr 2022 12:59:13 +0000 (12:59 +0000)
committerbors <bors@rust-lang.org>
Thu, 7 Apr 2022 12:59:13 +0000 (12:59 +0000)
commit8acc9b2799f5587f5f29dfce487ec3aa94964dfe
tree8566682575783524332bf03b0b2ed5a791f45cd8
parent0e2def5c122f3149e1d43dfc368d3d1aeeb0191b
parentf2cfc928a52429e4be51565876ed5c2b6625ecc4
Auto merge of #2056 - RalfJung:rustup2, r=RalfJung

rustup

Let's go in smaller steps, this might work better than https://github.com/rust-lang/miri/pull/2055