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

rustup Make sure that rust-lang/rust#72425 helped
rust-lang · May 22, 2020 · 63ea143 · 63ea143
2 parents 101df34 + 11d9409
commit 63ea143
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rust-version b/rust-version
@@ -1 +1 @@
-82911b3bba76e73afe2881b732fe6b0edb35d5d3
+458a3e76294fd859fb037f425404180c91e14767