]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #92717 - RalfJung:miri, r=RalfJung
authorMatthias Krüger <matthias.krueger@famsik.de>
Mon, 10 Jan 2022 10:03:12 +0000 (11:03 +0100)
committerGitHub <noreply@github.com>
Mon, 10 Jan 2022 10:03:12 +0000 (11:03 +0100)
commit3d5db0e6b4118cd646ab82d730f6aa582bfe94ca
treecfef6608863eeaf4f66086d37ab6a3af77d5e2a3
parent6719e3eb18be53cb145bef7b014d0cc344ed30b0
parentc8ff80477e47d6895f30d02aa86637a79a76cfa7
Rollup merge of #92717 - RalfJung:miri, r=RalfJung

update miri

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