From a66688c182bba890a49f4b659c19c2c097323948 Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Fri, 22 Nov 2019 16:35:30 +0100 Subject: [PATCH] sci: add some-> --- sci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci b/sci index 8579dcb8..5c925c39 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit 8579dcb84934253fb44e88e381052e24224f748e +Subproject commit 5c925c39990080f5726d4b2a1ebc490dac8bfab7