From 0d6736eb0f63ad220603135f3f6e3ce307b9293c Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 22 Apr 2023 10:35:29 +0200
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 6e0092308fa3..7ea0a3e3a3e9 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-53ac4f8e2fc15e49ef3a04f98622a9b9db755fd4
+3128fd8ddfde44f09f7c3920c552122f5aec2395