Auto merge of #74439 - RalfJung:miri, r=RalfJung

bors · bors · commit 3014f23ddd43 · 2020-07-17T13:54:21.000Z
update Miri Fixes #74345
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit eee22ffddab20f51e1866bcbe4c5a69a90bdd260
+Subproject commit 515287f114b546a72d4a1fe8ffe1dbc20dedf13d
