From 778bb7116fbba1536759c9dfa2e4a6991d3ae536 Mon Sep 17 00:00:00 2001 From: Aaron Hill Date: Tue, 19 Nov 2019 16:33:57 -0500 Subject: Bump Miri for panic unwinding support --- src/tools/miri | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/tools/miri b/src/tools/miri index 67a63f89d8c..e588d9535c0 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 67a63f89d8c0e5b22fb52cc33274283819f41792 +Subproject commit e588d9535c014d078ccf785c18618cc765a93afe -- cgit 1.4.1-3-g733a5 From a5c45f006a220867165edfab7422e0f6b1c88721 Mon Sep 17 00:00:00 2001 From: Aaron Hill Date: Wed, 20 Nov 2019 17:26:49 -0500 Subject: Bump Miri for return code propagation --- src/tools/miri | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/tools/miri b/src/tools/miri index e588d9535c0..35e92d94209 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit e588d9535c014d078ccf785c18618cc765a93afe +Subproject commit 35e92d942093fad264ff010957d2eecb13a68315 -- cgit 1.4.1-3-g733a5 From 45a9d279e43c21ae35beeba03c8970aac8d37319 Mon Sep 17 00:00:00 2001 From: Aaron Hill Date: Fri, 22 Nov 2019 08:20:46 -0500 Subject: Bump Miri for rustup fixes --- src/tools/miri | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/tools/miri b/src/tools/miri index 35e92d94209..644e2a76a87 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 35e92d942093fad264ff010957d2eecb13a68315 +Subproject commit 644e2a76a87a129f597dc40b47593fc8f72539cb -- cgit 1.4.1-3-g733a5