Rollup merge of rust-lang#63747 - RalfJung:miri, r=RalfJung

Centril · web-flow · commit e7682187586e · 2019-08-21T00:26:08.000+02:00
update Miri Fixes rust-lang#63673 r? @oli-obk
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 4f6f264c305ea30f1de90ad0c2f341e84d972b2e
+Subproject commit fd078e4fac97db3d5cc27471417cf644f28198b7
