From c5013ce996ff018d8c1de89c6505a76d2a83cfe8 Mon Sep 17 00:00:00 2001 From: Ben Kimock Date: Sun, 28 May 2023 22:03:00 -0400 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 2b3aa19805c..e16c19b6bdf 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -be72f2587c91579406117f99fa332383d66b7dcd +089677eb32af83318467325edbef9b64053df532