Skip to content

Conversation

mcol
Copy link

@mcol mcol commented Dec 6, 2024

Various typos. It also looks that the live version on the website is not entirely up to date with this document, as there are typos there that were already fixed in this file.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant