Auto merge of #87057 - RalfJung:miri, r=RalfJung

bors · bors · commit e9a387d6cf59 · 2021-07-11T13:45:37.000Z
update Miri Fixes #87030 Cc `@rust-lang/miri` r? `@ghost`
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 3cf6550cc158dfeb69440b84f80b65e0eca66082
+Subproject commit b06130762ed75f52da7c22979c61c597ced667c6
