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

bump Rust (no changes needed) This is mostly to confirm that this still all works fine.
rust-lang · Jul 28, 2019 · a49ef8b · a49ef8b
2 parents c86e247 + 070d1cd
commit a49ef8b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rust-version b/rust-version
@@ -1 +1 @@
-c43753f910aae000f8bcb0a502407ea332afc74b
+0e9b465d729d07101b29b4d096d83edf9be82df0