Auto merge of #51943 - oli-obk:miriup, r=kennytm

bors · bors · commit 33b40f56792f · 2018-07-01T00:04:14.000Z
Update the miri submodule r? @kennytm
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit e1734470e780e05a3366a2f74cfa25ea88a518a5
+Subproject commit 9143a69f4b3ef4bda77afddefe934be363e39f31
