From 89e828889a8c572294f069e1773b4b308030f0c8 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 4 May 2024 22:28:57 +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 038c2549b66..ca6f4d50917 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-d7ea27808deb5e10a0f7384e339e4e6165e33398
+d568423a7a4ddb4b49323d96078a22f94df55fbd