Auto merge of #59181 - RalfJung:miri, r=oli-obk

bors · bors · commit bc44841ad2a2 · 2019-03-14T15:37:26.000Z
update miri Fixes #59059 r? @oli-obk
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit e3527fdba7178120a6398e76aa4b3908b10ef85e
+Subproject commit 72b4ee0381decf609204e5548c1f5e79bdfb18b7
