From 2f429f9f91ba3bad0ef6197c1038057a6bbd0fcc Mon Sep 17 00:00:00 2001 From: The Miri Cronjob Bot Date: Mon, 17 Nov 2025 04:55:09 +0000 Subject: [PATCH] Prepare for merging from rust-lang/rust This updates the rust-version file to 69d4d5fc0e4db60272aac85ef27ecccef5764f3a. --- 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 06a597064624..25bb5e923183 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -7a72c5459dd58f81b0e1a0e5436d145485889375 +69d4d5fc0e4db60272aac85ef27ecccef5764f3a