From 85de27ee87a75eedc67a5b8d50d71f199ee7e9e5 Mon Sep 17 00:00:00 2001 From: The Miri Conjob Bot Date: Sat, 12 Aug 2023 05:25:32 +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 22a3d439861..52f98965ec1 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -9fa6bdd764a1f7bdf69eccceeace6d13f38cb2e1 +b08dd92552d663e3c877c8e5ce859e212205a09f