Skip to content

Conversation

@Ainali
Copy link
Member

@Ainali Ainali commented May 3, 2024

These were added to the codebase after the PR for the spellcheck, but merged before it.

Of note is that the spellchecker also found a typo.

Ainali added 2 commits May 3, 2024 16:04
These were added to the codebase after the PR for the spellcheck, but merged before it.
@Ainali Ainali mentioned this pull request May 3, 2024
@Ainali Ainali merged commit e87e655 into main May 14, 2024
@Ainali Ainali deleted the update-jargon branch May 14, 2024 09:55
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.

2 participants