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

bors · bors · commit d4d5d67c1c20 · 2019-06-22T10:31:43.000Z
update miri r? @oli-obk
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit e4b298bc4f5a7e86eb78404e25de08f179091e03
+Subproject commit c65fbc49d7b9269b277b7207f1044ee851f16b16
