]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #88491 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Tue, 31 Aug 2021 08:32:31 +0000 (08:32 +0000)
committerbors <bors@rust-lang.org>
Tue, 31 Aug 2021 08:32:31 +0000 (08:32 +0000)
commitfe37929e4cba2c5c21e6805805769630c736bc3d
tree09b25ade7340387b5a2102c2bf9baa953b66073b
parentd4f263a558d065d73e21ef1505ac391caa651f5d
parent3e61c53917e144b10fdc6ea45aabe64cb393fc29
Auto merge of #88491 - RalfJung:miri, r=RalfJung

update miri

Fixes https://github.com/rust-lang/rust/issues/88473