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
2022-04-07 12:59:13 +00:00 · 2022-04-07 12:59:13 +00:00 · 8acc9b2799
commit 8acc9b2799
parent 0e2def5c12 f2cfc928a5
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-306ba8357fb36212b7d30efb9eb9e41659ac1445
+bbe9d27b8ff36da56638aa43d6d0cdfdf89a4e57