From ff6fb4c33e8bd94b17a4715046b8266a1d42e793 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 2 Feb 2023 22:59:23 +0100
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 d7de41435aa9..e0abc4bc9318 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-0d32c8f2ce10710b6560dcb75f32f79c378410d0
+f3126500f25114ba4e0ac3e76694dd45a22de56d