From ab9cb70e880c36dc5b6a5f66e9b24a16c5715311 Mon Sep 17 00:00:00 2001 From: Jon Gjengset Date: Thu, 10 Oct 2019 15:21:17 -0400 Subject: [PATCH 1/3] Bump Miri --- src/tools/miri | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri b/src/tools/miri index 07ac10277ea5a..3899dce3b6be8 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 07ac10277ea5ad42efbb914da5844e0ab08efbf4 +Subproject commit 3899dce3b6be8e5f523288b76e7a22c5ce10365e From dbb73dc6b9147e1914ecc4006eea0ef70915c2a3 Mon Sep 17 00:00:00 2001 From: Jon Gjengset Date: Fri, 11 Oct 2019 10:40:56 -0400 Subject: [PATCH 2/3] Bump Miri again for rust-lang/miri#985 --- src/tools/miri | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri b/src/tools/miri index 3899dce3b6be8..6a2776e465c22 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 3899dce3b6be8e5f523288b76e7a22c5ce10365e +Subproject commit 6a2776e465c2244f77ff69a128bf4131d7fb4fab From 397b679e2eff77dd62b9625a27e72d22ab244b14 Mon Sep 17 00:00:00 2001 From: Jon Gjengset Date: Sat, 12 Oct 2019 13:43:23 -0400 Subject: [PATCH 3/3] Bump Miri again for tempdir fix --- src/tools/miri | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri b/src/tools/miri index 6a2776e465c22..c77f0ab707be1 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 6a2776e465c2244f77ff69a128bf4131d7fb4fab +Subproject commit c77f0ab707be1246d6bef1e691b9a99d0bd7cc5b