From a22aa61d5f7ed1c05dd7c28bf6dc4e7bdd8b56ca Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 7 Aug 2021 17:46:45 +0200 Subject: [PATCH] update Miri --- src/tools/miri | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri b/src/tools/miri index 99ec9c1707aad..042cbf175bfda 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 99ec9c1707aad74b4a4a6d301f27fb1c19733f58 +Subproject commit 042cbf175bfdad6524fd00d7570b2297a0426063