sci: defrecord type improvements

This commit is contained in:
Michiel Borkent 2021-01-09 15:19:40 +01:00
parent 3f4e9b8283
commit ebb5adeafd

2
sci

@ -1 +1 @@
Subproject commit f48245c311eec7ab02080c744340e10592f32c7a
Subproject commit 03733e13563726ef0e149285e0ce5cdeb85cb58a