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

rustup Make sure that https://github.com/rust-lang/rust/pull/72425 helped
2020-05-22 07:01:21 +00:00 · 2020-05-22 07:01:21 +00:00 · 63ea143684
commit 63ea143684
parent 101df34bd6 11d9409e82
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-82911b3bba76e73afe2881b732fe6b0edb35d5d3
+458a3e76294fd859fb037f425404180c91e14767