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

bors · bors · commit e3b1c12beceb · 2021-08-02T20:50:50.000Z
update miri Fixes #87703 Cc `@rust-lang/miri` r? `@ghost`
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 453e3ef7dab5aad6450bee09b2c02de94c5b18cb
+Subproject commit 99ec9c1707aad74b4a4a6d301f27fb1c19733f58
