From 121b06bd0593369477a70dfee156f10055ca7638 Mon Sep 17 00:00:00 2001
From: The Miri Cronjob Bot <miri@cron.bot>
Date: Fri, 21 Jun 2024 05:07:19 +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 a2da736656d1..1502fa120be6 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-a1ca449981e3b8442e358026437b7bedb9a1458e
+7a08f84627ff3035de4d66ff3209e5fc93165dcb