]> git.lizzy.rs Git - rust.git/commitdiff
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)
update miri

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

src/tools/miri

index 824816c973a3fd0596ae3a9a38c6fb6299b913b8..deb9bfd24648d50142ab29b810175837c4718885 160000 (submodule)
@@ -1 +1 @@
-Subproject commit 824816c973a3fd0596ae3a9a38c6fb6299b913b8
+Subproject commit deb9bfd24648d50142ab29b810175837c4718885