]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #76469 - RalfJung:miri, r=RalfJung
authorbors <bors@rust-lang.org>
Tue, 8 Sep 2020 11:56:09 +0000 (11:56 +0000)
committerbors <bors@rust-lang.org>
Tue, 8 Sep 2020 11:56:09 +0000 (11:56 +0000)
commit7bc0bf72545f5d6ac6d9639391da875d5e147d9a
treebceb5e718e29877d9dcb2b6dd9d20460e16add54
parent5a6b426e3471382c0385c11b09c2d6b37f70ac49
parentfb9702404e39d1a91f4a37eda9cd6b5eeae105df
Auto merge of #76469 - RalfJung:miri, r=RalfJung

update Miri

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