From e397cf42ee93a6d00c6247af76be98e66a4f621f Mon Sep 17 00:00:00 2001 From: Ben Kimock Date: Sun, 5 Mar 2023 12:24:18 -0500 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 53ec1ba0821b..d65aa65a7b83 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -c4e0cd966062ca67daed20775f4e8a60c28e57df +04e957578c77c95a0505f5818d0068b459f673e3