From e03977793540b07a9ea460095fbd8751d2337f74 Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Sat, 16 Jan 2021 15:57:21 +0100 Subject: [PATCH] sci: unroll more (#709) --- sci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci b/sci index 42bad0f3..ce3eb8b3 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit 42bad0f3470adb2cbd3ad82c7ff8b2266b390d5c +Subproject commit ce3eb8b3df5f48e82bcb53da992a759a280e268d