From 607ecca1fbe884a7d032ef1ec1d98853ce284a3d Mon Sep 17 00:00:00 2001
From: The Miri Cronjob Bot <miri@cron.bot>
Date: Mon, 4 Aug 2025 05:09:06 +0000
Subject: [PATCH] Prepare for merging from rust-lang/rust

This updates the rust-version file to 07b7dc90ee4df5815dbb91ef8e98cb93571230f5.
---
 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 bf69accaf063..8cf5873eab42 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-adcb3d3b4cd3b7c4cde642f3ed537037f293738e
+07b7dc90ee4df5815dbb91ef8e98cb93571230f5