Closed humaidkidwai closed 3 months ago
I noticed you accidentally pushed to the 23-019 branch instead of this feature branch, so I reset the 23-019 branch back. I also reformatted the source of your PR without making changes to the text.
I think we can just squash & merge this PR, so we can fix any issues with smaller PRs
Metanorma build is not working yet, the PR is raised only for the content review