From 2d35541eb5e04b018f7859600ea7a01c575ba3ac Mon Sep 17 00:00:00 2001
From: The Miri Cronjob Bot <miri@cron.bot>
Date: Mon, 29 Dec 2025 05:04:35 +0000
Subject: [PATCH] Prepare for merging from rust-lang/rust

This updates the rust-version file to 7fefa09b90ca57b8a0e0e4717d672d38a0ae58b5.
---
 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 6a2835bc2d9e..d32b6d0d2fc7 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-23d01cd2412583491621ab1ca4f1b01e37d11e39
+7fefa09b90ca57b8a0e0e4717d672d38a0ae58b5