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

Rustup bump Rust to latest HEAD
rust-lang · Dec 3, 2019 · 3f27d8c · 3f27d8c
2 parents 95f8040 + ebe5a51
commit 3f27d8c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rust-version b/rust-version
@@ -1 +1 @@
-fdc0011561c6365c596dfd8fa1ef388162bc89c7
+4787e97475de6be9487e3d9255a9c2d3c0bf9252