From 42ce2e563aaa2fc3ebf710fd43c0e071cf90a20c Mon Sep 17 00:00:00 2001 From: The Miri Conjob Bot Date: Tue, 27 Feb 2024 04:59:39 +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 e62c61b1043..37273d9183a 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -0250ef2571185b05701ed9d74fc904c17508a397 +71ffdf7ff7ac6df5f9f64de7e780b8345797e8a0