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

bors · bors · commit fee0d31397c5 · 2021-02-01T02:42:07.000Z
update Miri Fixes rust-lang#81551 Cc `@rust-lang/miri` r? `@ghost`
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit bcb87a70f88d5c22d71f4a714178d93ce0c49b02
+Subproject commit 8d24b02414073bd4dafd3810205265c668dbcae1
