From ebe5a51336a2b948d100863c8bd8d813a86cce0b Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 3 Dec 2019 08:21:52 +0100
Subject: [PATCH] bump Rust to HEAD

---
 rust-version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rust-version b/rust-version
index 08289d4459e7..e81e0579a386 100644
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-fdc0011561c6365c596dfd8fa1ef388162bc89c7
+4787e97475de6be9487e3d9255a9c2d3c0bf9252