Skip to content
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.

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

Spelling #439

Merged
merged 5 commits into from
Aug 1, 2022
Merged

Spelling #439

merged 5 commits into from
Aug 1, 2022

Conversation

jsoref
Copy link
Contributor

@jsoref jsoref commented Jul 24, 2022

This PR corrects misspellings identified by the check-spelling action.

The misspellings have been reported at jsoref@1746a15#commitcomment-79291055

The action reports that the changes in this PR would make it happy: jsoref@e6d93c5

Note: this PR does not include the action. If you're interested in running a spell check on every PR and push, that can be offered separately.

@p0deje p0deje merged commit 4018b9c into p0deje:master Aug 1, 2022
@jsoref jsoref deleted the spelling branch August 2, 2022 03:19
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.

None yet

2 participants