Skip to content

Merge pull request #817 from metanorma/update_pres_xml_refs #2047

Merge pull request #817 from metanorma/update_pres_xml_refs

Merge pull request #817 from metanorma/update_pres_xml_refs #2047

Annotations

5 warnings

build

succeeded Feb 16, 2025 in 11m 46s