]> git.lizzy.rs Git - rust.git/commit
Auto merge of #87057 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Sun, 11 Jul 2021 13:45:37 +0000 (13:45 +0000)
committerbors <bors@rust-lang.org>
Sun, 11 Jul 2021 13:45:37 +0000 (13:45 +0000)
commite9a387d6cf5961a7f2dcb671da3147bd413355c4
tree298e6039bf6e30de08f6332e9250daff74986618
parent81053b912fab51978f4806cddfc37eb9a9a5afc6
parent48e000c0afa38958d1730c8221f7b7281b48b3d4
Auto merge of #87057 - RalfJung:miri, r=RalfJung

update Miri

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