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

matthiaskrgr · web-flow · commit 3d5db0e6b411 · 2022-01-10T11:03:12.000+01:00
update miri Fixes #92691 r? `@ghost`
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 824816c973a3fd0596ae3a9a38c6fb6299b913b8
+Subproject commit deb9bfd24648d50142ab29b810175837c4718885
