From b7525c1616b0d9b1e57e64c2bc2db9035b4e17fd Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Fri, 1 May 2020 10:40:51 +0200 Subject: [PATCH] sci: with-bindings --- sci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci b/sci index 538c3b66..87f6160d 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit 538c3b662bae9093e57721430b22cde96ece2675 +Subproject commit 87f6160dd84d569a93967b644761bb374d0204c3