From b4b0ee87fece5fec9ddad6509f81defac33b41aa Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Tue, 2 Aug 2022 23:42:10 +0200 Subject: [PATCH] Marker protocol + satisfies fix (#1331) --- sci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci b/sci index 27d18509..3288e298 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit 27d1850969502b0cde51d9b1a92e394f100383c5 +Subproject commit 3288e2988594a20daaadb4ee0662e0c2b2a8ca01