Rollup merge of rust-lang#60173 - RalfJung:miri, r=oli-obk

Centril · web-flow · commit 7889e904af86 · 2019-04-27T04:50:06.000+02:00
update miri r? @oli-obk
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 7d7cf4d42e41437f5a5b04a6b8dd567f330ae6ee
+Subproject commit 691a4c231c0744edf9a3ea5e08f4312333a772c7
