Rollup merge of #77000 - RalfJung:miri, r=RalfJung

RalfJung · web-flow · commit d337074d0992 · 2020-09-21T10:40:49.000+02:00
update Miri I'd like to get rust-lang/miri#1556 out there to avoid some backwards-incompatible changes. r? @ghost Cc @rust-lang/miri
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 5a15c8a6dd62033f69688f9d1c6eacd674158539
+Subproject commit cbc7560ae2d44669ef6ba0f43014e10ce881180e
