Closed kwkwan closed 3 months ago
This macro is needed to be registered in metanorma-standoc. (https://github.com/metanorma/metanorma-standoc/pull/903)
metanorma-standoc
@kwkwan we've discussed offline, thanks.
Metanorma PR checklist