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

update Miri
2022-03-20 19:10:06 +00:00 · 2022-03-20 19:10:06 +00:00 · c84f39e6c0
commit c84f39e6c0
parent 4767ccec93 8ebc407bde
1 changed files with 1 additions and 1 deletions
--- a/src/tools/miri
+++ b/src/tools/miri
@ -1 +1 @@
-Subproject commit 8e818ffa1b85f4e740c4096fd38c62b2b73f4d83
+Subproject commit 16c69fd2901b49148bff6f24292e7fc98967d7f1