defn metadata tweak

This commit is contained in:
Michiel Borkent 2022-07-03 13:03:08 +02:00
parent f044ba15cd
commit 01e414c4d1

2
sci

@ -1 +1 @@
Subproject commit 267fa0a360f2b827fc61d2227bd8757a1c456f50
Subproject commit a046922df03fc689ec74771d26dd149d339dae31