From cb7770736c15488ec816d24ed41928d513f56b4c Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 22 Jan 2023 20:39:33 -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 c0dbb2e644c1..7a5e8b789da3 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -9e75dddf609c0201d03f9792e850f95d6a283d11 +a5fa99eed20a46a88c0c85eed6552a94b6656634