Skip to content

Merge pull request #305 from metanorma/feature/japanese_numbering #151

Merge pull request #305 from metanorma/feature/japanese_numbering

Merge pull request #305 from metanorma/feature/japanese_numbering #151

Annotations

7 warnings

Release to Maven and GitHub

succeeded Oct 24, 2024 in 4m 57s