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

bors · bors · commit 551a2c6cbcf2 · 2020-12-05T11:24:40.000Z
update Miri Fixes #79709 Cc `@rust-lang/miri` r? `@ghost`
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 47acece7aa25d7b5edfae0bfd4b94e6e55a7b4b0
+Subproject commit e54c5db4f0edbe51db42d2c3e63e9821537ed4f4
