Closed Intelligent2013 closed 3 months ago
Don't merge until https://github.com/metanorma/metanorma-ogc/issues/673 will be completed.
Metanorma PR checklist