SCI issue 928: record constructor + opt. meta + ext map

This commit is contained in:
Michiel Borkent 2024-09-30 15:01:33 +02:00
parent 78486379fa
commit 59ffdf2c1c

2
sci

@ -1 +1 @@
Subproject commit bbba84d7e4583d39be66ba490beb4de24d500100
Subproject commit 4c6f63320250840550c7caaaef8cb43796454db2