]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #94931 - RalfJung:miri, r=RalfJung
authorMatthias Krüger <matthias.krueger@famsik.de>
Mon, 14 Mar 2022 16:25:00 +0000 (17:25 +0100)
committerGitHub <noreply@github.com>
Mon, 14 Mar 2022 16:25:00 +0000 (17:25 +0100)
commit4753f24dc46078af25efda5c3a3fd8f2030bbc7f
tree2b25f36a73e4a92d86facb9881cd86602a63795d
parent423b31637d2e8c63393861f954ece31d6838af72
parent7d42b9dba6aba35548453908d30270104e47fbee
Rollup merge of #94931 - RalfJung:miri, r=RalfJung

update miri

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