From 955439508fca53d28e3710b1e804e0921a153baa Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 17 Nov 2022 12:02:54 +0100
Subject: [PATCH] update rust-version

---
 src/tools/miri/rust-version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 746fcb2e183c..b8398377585c 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-101e1822c3e54e63996c8aaa014d55716f3937eb
+9340e5c1b9dee53fd32a18f7bfb54faabfe00b7b