From ef91e65644fca1aa68482d7738078f709f323e8b Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 14 Aug 2024 07:43:43 +0200
Subject: [PATCH] Preparing for merge from rustc

---
 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 9dad0df254c..d88a4ccc85b 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-1d8f135b20fac63c493d5963ce02963b46ca0986
+e9c965df7b75ab5b1ae8f9a2680839ac1a1a3880