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

bors · bors · commit 3b1d7351186a · 2020-03-26T07:36:21.000Z
update miri Usually I'd wait until rust-lang#70226 lands which will break Miri again, but... the queue is empty (!), so whatever.^^ r? @ghost Cc @oli-obk Fixes rust-lang#70346
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit aaa16a5f4b8caabf8e044e6dd1c48330dfb7900d
+Subproject commit 0d0a457c8b1750e82f19527b18b313f3514633f0
