From 71a5e2ba4fea1a426d999344ef69770a508536cc Mon Sep 17 00:00:00 2001
From: The Miri Conjob Bot <miri@cron.bot>
Date: Sat, 7 Oct 2023 05:01:29 +0000
Subject: [PATCH] Preparing for merge from rustc

---
 rust-version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rust-version b/rust-version
index dc2601e9e9..8f0a0a045a 100644
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-1bc0463b183392ad4e0ae9c5f7a76630d487230d
+4ea5190026dbc1302b644d938e68bc6843cb8b24