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

rustup Just to make sure the CI failure we just saw was truly spurious (travis macOS being unreliable, as usual)
2020-03-20 09:35:08 +00:00 · 2020-03-20 09:35:08 +00:00 · 22de46402e
commit 22de46402e
parent 0ff05c4cfe e3a72be107
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-57e1da59cd0761330b4ea8d47b16340a78eeafa9
+f4c675c476c18b1a11041193f2f59d695b126bc8