From 8c2d2c07ff7af6e9d10e00833d8e82a483f2acae Mon Sep 17 00:00:00 2001
From: The Miri Cronjob Bot <miri@cron.bot>
Date: Sun, 24 Aug 2025 04:54:24 +0000
Subject: [PATCH] Prepare for merging from rust-lang/rust

This updates the rust-version file to f6d23413c399fb530be362ebcf25a4e788e16137.
---
 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 d0757e58bf90..3450f18334a7 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-8e3710ef31a0b2cdf5a1c2f3929b7735d1e28c20
+f6d23413c399fb530be362ebcf25a4e788e16137