From 4b915b8a86df64e6758b6cc329d83d5fe635f21d Mon Sep 17 00:00:00 2001
From: The Miri Conjob Bot <miri@cron.bot>
Date: Thu, 31 Aug 2023 05:34:07 +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 da0d794273b3..88a4ddfba6be 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-f3284dc3ad9254236d296daa1285dd273b492b01
+008c21c9779fd1e3632d9fe908b8afc0c421b26c