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

bors · bors · commit 1b1d85fd4cc6 · 2021-02-28T12:53:39.000Z
update Miri

Pulls in a fix for unnecessary rebuilds that basically breaks Playground.
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit ea86335318fd06ec964d9a86b187995bda1b6c7d
+Subproject commit 39ebb079a8e1bd9b8838b97bdc1718f4c0be6b48
