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

rustup

This seems to be the latest version that works before *something* broke -- so let's make this a baseline.

diff --git a/rust-version b/rust-version
index 177b6ada7340163ee50dc17c9ccc557643d5cf6b..adb8991d4ad8ce860521f551e4c158c7a73d78bc 100644 (file)
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-bb8674837a9cc5225020e07fc3f164762bb4c11c
+50c0192c64241d723066add22c53d472e2b9cba9