From 540b4da0f1000c016276056c4360fb9157b0b87c Mon Sep 17 00:00:00 2001 From: The Miri Cronjob Bot Date: Tue, 17 Sep 2024 04:56:57 +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 eeff9ac8e38..3f4d095fc19 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -c16ff44537509ca911ffd3653b17c6187c71831d +e2dc1a1c0f97a90319181a721ab317210307617a