From 7d565dfa0fa40991df9e3567f991284b4912ab0b Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 12 May 2024 15:44:17 +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 3636c856d0b5..603417b77eea 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-ef15976387ad9c1cdceaabf469e0cf35f5852f6d
+b71fa82d786ae1b5866510f1b3a7e5b7e1890e4c