]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #101331 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Fri, 2 Sep 2022 16:10:04 +0000 (16:10 +0000)
committerbors <bors@rust-lang.org>
Fri, 2 Sep 2022 16:10:04 +0000 (16:10 +0000)
commitb88e510cc886e4c367d90e1c7c36013a4bc0d6ab
tree9824055fa3c6c07b50066e7f8c53272d5c96ce36
parent9353538c7bea6edb245457712cec720305c4576e
parentfe7e207e282d17cf1ab7a0bfad58600704f3f477
Auto merge of #101331 - RalfJung:miri, r=RalfJung

update Miri

Fixes https://github.com/rust-lang/rust/issues/101324
r? `@ghost`
now finally with the FFI support we had to bail out last time :D