]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #97801 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Tue, 7 Jun 2022 02:35:19 +0000 (02:35 +0000)
committerbors <bors@rust-lang.org>
Tue, 7 Jun 2022 02:35:19 +0000 (02:35 +0000)
commit9f7e997c8bc3cacd2ab4eb75e63cb5fa9279c7b0
treeb75a1563d6ad84b897f9a4397c6048037c38df84
parent54aa8a7858cf539336c5639e35c4013dc25abd7b
parent2e4e3409d7cd4cdd3f77c14676a1f9036fec1648
Auto merge of #97801 - RalfJung:miri, r=RalfJung

update Miri

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