New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

link fixes #826

Merged

ronaldtse merged 1 commit into main from doc20241015

Oct 15, 2024

Contributor

opoudjis commented Oct 15, 2024

Metanorma PR checklist

Breaking changes (list related PRs)
Documentation update required (create task for this)
External dependency introduced (documentation update need)
Gem with native library introduced


          link fixes

e2e0382

opoudjis requested a review from ronaldtse

October 15, 2024 03:35

opoudjis assigned ronaldtse

Contributor Author

opoudjis commented Oct 15, 2024

Noticed by accident. ... If you have a link checker, it didn't pick these up.

ronaldtse merged commit da2b98e into main

8 checks passed

ronaldtse deleted the doc20241015 branch

October 15, 2024 08:54

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet