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

bump Rust My hypothesis is that this will replicate https://travis-ci.com/rust-lang/miri/jobs/220221687 (so we know which commit range caused it).
rust-lang · Jul 29, 2019 · a254eaa · a254eaa
2 parents a49ef8b + 784ad69
commit a254eaa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rust-version b/rust-version
@@ -1 +1 @@
-0e9b465d729d07101b29b4d096d83edf9be82df0
+8b94e9e9188b65df38a5f1ae723617dc2dfb3155