Auto merge of rust-lang#97916 - RalfJung:miri, r=RalfJung

bors · bors · commit d7b8d77be5b4 · 2022-06-09T15:39:12.000Z
update Miri Fixes rust-lang#97886 Cc `@rust-lang/miri` r? `@ghost`
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 3361eabf3882578207a483f2cee631646e80eabc
+Subproject commit 4d6eca1c081dac022a887a134691cc7718cad94a
