let's see if newer rustc helps

diff --git a/rust-version b/rust-version
index 41001febbff4fffc5476936ac7fe59353bc042e8..1377ee94dfc300319ef0743a5a9a3dfa193cbfec 100644 (file)
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-7a76fe76f756895b8cda1e10398f2268656a2e0f
+c34472b77084c9f76f872871aeab121daf81fb99