From 2c3cf5a88e8c70192bf1f3d64d609ed0cae87dce Mon Sep 17 00:00:00 2001
From: The Miri Conjob Bot <miri@cron.bot>
Date: Sat, 8 Jul 2023 06:38:27 +0000
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 3a50f60b3a0..02b0dd16f91 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-bb548f964572f7fe652716f5897d9050a31c936e
+d4096e0412ac5de785d739a0aa2b1c1c7b9d3b7d