From 9b70c13411f08db95027bc30dc87d9d9e89b32a4 Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Fri, 8 May 2020 10:51:21 +0200
Subject: [PATCH] sci: with-redefs

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

diff --git a/sci b/sci
index c55a1ef6..d9e98bea 160000
--- a/sci
+++ b/sci
@@ -1 +1 @@
-Subproject commit c55a1ef672c82a06f540e91c138d5689b679e02d
+Subproject commit d9e98bea679b8120a990a6cf81de5cfdca40ab1b