From 7deb1b91f9cce6f468d6c43a259e3b65021e0a62 Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Thu, 16 Jan 2020 16:35:50 +0100
Subject: [PATCH] sci: various perf improvements

---
 sci | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci b/sci
index 01625017..08ed4772 160000
--- a/sci
+++ b/sci
@@ -1 +1 @@
-Subproject commit 01625017d5734eab8716db98f07f2253883a197e
+Subproject commit 08ed47722ccd65e60ca9f24991e94fe549ea0585