From c0a4bd0a5cf15250338f01973b34301ab5399d78 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 16 Oct 2020 19:11:36 +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 8beccc4bef598..1b3a27c4298eb 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 8beccc4bef598e95e31536f996ea5771d8126d00
+Subproject commit 1b3a27c4298ebed55851657934483366a02abc3b