From c8a89b05533e7fcec0866e0a25424f94afed93a0 Mon Sep 17 00:00:00 2001
From: The Miri Cronjob Bot <miri@cron.bot>
Date: Thu, 27 Jun 2024 04:54:26 +0000
Subject: 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 e5e9f0bbdaf..989e9bc6d02 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-c290e9de32e8ba6a673ef125fde40eadd395d170
+7033f9b14a37f4a00766d6c01326600b31f3a716
-- 
cgit 1.4.1-3-g733a5