From b00302e2884fe28c710b6d7513b477455ad14e82 Mon Sep 17 00:00:00 2001
From: Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Date: Thu, 23 Mar 2023 07:31:44 +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 e267b08d0829..651425ce02ac 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-439292bc7913399e406d9bb7e8da0f70c6317c6e
+cf811810fe8dc92b3ff25e7dd29fb3178c91d409