From 3dedbb3b2d9b7244d00aabe9909a43f780aa77b0 Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Tue, 25 Aug 2020 11:15:22 +0200 Subject: [PATCH] borkdude/sci#384 --- sci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci b/sci index 76207b45..ccdc8668 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit 76207b456fa44bd792669c765b38f633e474a9e0 +Subproject commit ccdc8668ad20a8fb3431f370b1e782fb6e0ff0e9