From b115de9fa5b608dd7ecfd9aeacdb081ce3e64e18 Mon Sep 17 00:00:00 2001
From: The Miri Cronjob Bot <miri@cron.bot>
Date: Fri, 14 Nov 2025 04:53:31 +0000
Subject: [PATCH] Prepare for merging from rust-lang/rust

This updates the rust-version file to 7a72c5459dd58f81b0e1a0e5436d145485889375.
---
 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 7dde150d1e8b..06a597064624 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-0b329f801a09004dacb19aaf09d5cb8b4c51d3f8
+7a72c5459dd58f81b0e1a0e5436d145485889375