From ebb5adeafd87712d305de644eabd3338d4907de0 Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Sat, 9 Jan 2021 15:19:40 +0100 Subject: [PATCH] sci: defrecord type improvements --- sci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci b/sci index f48245c3..03733e13 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit f48245c311eec7ab02080c744340e10592f32c7a +Subproject commit 03733e13563726ef0e149285e0ce5cdeb85cb58a