From edb3aaf655f1a7a766c5d37eacbf7931c087130b Mon Sep 17 00:00:00 2001 From: The Miri Cronjob Bot Date: Thu, 17 Apr 2025 17:50:48 +0000 Subject: [PATCH] Preparing for merge from rustc --- 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 d1107e515090..ed2e4474adda 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -1bc56185ee257ed829a0aea7abdc3b03c5fed887 +883f9f72e87ccb6838d528d8158ea6323baacc65