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

bors · bors · commit e7ed7e835494 · 2021-04-25T18:17:45.000Z
update Miri Fixes #84553 Cc `@rust-lang/miri` r? `@ghost`
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit a86eab3e6c3d645769bfdb2d09efd84d1e1fcbc0
+Subproject commit 5faf5a5ca059f6eb067fc86e47480f5668ac6e8c
