Preparing for merge from rustc

scottmcm · May 26, 2023 · 9ffd3f9 · 9ffd3f9
1 parent 053edf4
commit 9ffd3f9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
@@ -1 +1 @@
-8b4b20836b832e91aa605a2faf5e2a55190202c8
+be72f2587c91579406117f99fa332383d66b7dcd