]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #87538 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Wed, 28 Jul 2021 19:25:59 +0000 (19:25 +0000)
committerbors <bors@rust-lang.org>
Wed, 28 Jul 2021 19:25:59 +0000 (19:25 +0000)
commitb70888601af92f6cdc0364abab3446e418b91d36
tree3d439be8eb257994a3d40362c0d7dd8c0c9e1833
parenta28109a7679fbb254ca0962865a8b32b91ddbbd9
parent2acc83ed4f1bd14f323f340d650a4895be4599f2
Auto merge of #87538 - RalfJung:miri, r=RalfJung

update Miri

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