Closed opoudjis closed 6 months ago
…//github.com/metanorma/metanorma-iso/issues/1096
Merged into https://github.com/metanorma/metanorma-iso/pull/1102
…//github.com/metanorma/metanorma-iso/issues/1096
Metanorma PR checklist