From 2a02a72f17bc133eb836666288d8d06eebb92878 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 28 Nov 2025 10:33:33 +0100 Subject: [PATCH] Prepare for merging from rust-lang/rust This updates the rust-version file to 88bd39beb342e2ae7ded1eb7d58697416686d679. --- 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 1a95b8557dc6..ba869b1667c8 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -c871d09d1cc32a649f4c5177bb819646260ed120 +88bd39beb342e2ae7ded1eb7d58697416686d679