SCI issue 928: record constructor + opt. meta + ext map (#1732)

This commit is contained in:
Michiel Borkent 2024-09-30 15:13:36 +02:00 committed by GitHub
parent 15f5918e58
commit 030d6ba889
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

2
sci

@ -1 +1 @@
Subproject commit 3657f5ee9052d3a1c4cfd79e335ab71486e46664
Subproject commit 4c6f63320250840550c7caaaef8cb43796454db2