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

update miri Fixes https://github.com/rust-lang/rust/issues/67793

Auto merge of #67809 - RalfJung:miri, r=RalfJung
update miri Fixes https://github.com/rust-lang/rust/issues/67793
c5840f9d · bors · 30ddb5a8 · 1943fe1b · 4da2b214 · 34d8ec89
隐藏空白更改
内联并排

Showing with 1 addition and 1 deletion

src/tools/miri src/tools/miri +1 -1

未找到文件。
--- a/miri @ 4da2b214
+++ b/miri @ 4da2b214
-Subproject commit 34d8ec896db94ac7443541514653166ad5d38d3c
+Subproject commit 4da2b2149ca1c6a3331260dfcbb2175c51f2842d