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

rustup Just making sure it all still works.
2020-05-24 12:01:05 +00:00 · 2020-05-24 12:01:05 +00:00 · de9a0ad51f
commit de9a0ad51f
parent 2c0ab517bc 7a3ccb1b57
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-a9ca1ec9280ca1e5020edd699917c3367a30a798
+7726070fa755f660b5da3f82f46e07d9c6866f69