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

rustup before making a rustc PR, just to be sure
2020-05-02 09:01:14 +00:00 · 2020-05-02 09:01:14 +00:00 · 7259bc30ab
commit 7259bc30ab
parent 4d934fbb3e ee6460e763
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-7f65393b9abf5e70d0b9a8080558f17c5625bd40
+dae90c195989b09475b6c0225a3018cbd7afa587