]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #87849 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 7 Aug 2021 15:53:32 +0000 (15:53 +0000)
committerbors <bors@rust-lang.org>
Sat, 7 Aug 2021 15:53:32 +0000 (15:53 +0000)
commit57d8747cca741de84918800dca13da0c821e33e0
tree0dad875ce71635fbbc7b054d3aed85561a5c67c2
parent508b328c398b84126011f6fe74d018fe855bc242
parenta22aa61d5f7ed1c05dd7c28bf6dc4e7bdd8b56ca
Auto merge of #87849 - RalfJung:miri, r=RalfJung

update Miri

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