Skip to content

Conversation

@peternewman
Copy link
Collaborator

As raised by @DimitriPapadopoulos in #2077

@peternewman peternewman added the dictionary Changes to the dictionary label Sep 23, 2021
@peternewman peternewman requested a review from luzpaz September 23, 2021 13:34
@vikivivi
Copy link
Contributor

LGTM

@peternewman peternewman merged commit b2e96b2 into master Sep 29, 2021
@luzpaz luzpaz deleted the peternewman-mispellings branch January 20, 2022 11:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dictionary Changes to the dictionary

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants