]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #95815 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Fri, 8 Apr 2022 23:41:26 +0000 (23:41 +0000)
committerbors <bors@rust-lang.org>
Fri, 8 Apr 2022 23:41:26 +0000 (23:41 +0000)
commit340f6491bed3525acfabbdbd1545b6aee2fca62b
tree6d4aebcdc9ec8d85c3365f50b6c760075313c76b
parentf4a7ce997a1d7546d2b737f8b87d36907bcea2ad
parent083be9cc9c7a7e464f0f50c7a578282ff38921b4
Auto merge of #95815 - RalfJung:miri, r=RalfJung

update Miri

Fixes https://github.com/rust-lang/rust/issues/95627
r? `@ghost` Cc `@rust-lang/miri`