]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #87310 - spastorino:update_miri, r=RalfJung
authorbors <bors@rust-lang.org>
Tue, 20 Jul 2021 13:37:02 +0000 (13:37 +0000)
committerbors <bors@rust-lang.org>
Tue, 20 Jul 2021 13:37:02 +0000 (13:37 +0000)
commit5c0ca08c662399c1c864310d1a20867d3ab68027
treea6c85db21cc257819c5bc312b0cf246120ff5e11
parentda7d405357600a76f2b93b8aa41fe5ee5da7885d
parent70891af43f7755388b7247daffcc6d5c6318fbe2
Auto merge of #87310 - spastorino:update_miri, r=RalfJung

Update MIRI

Fixes #87306

r? `@RalfJung`