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

Centril · web-flow · commit ddb6314998e9 · 2019-08-21T17:31:41.000+02:00
update Miri Fixes #63673 r? @oli-obk
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 4f6f264c305ea30f1de90ad0c2f341e84d972b2e
+Subproject commit d77fe6c63ca4c50b207a1161def90c9e57368d5b
