Skip to content
New issue

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

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

Already on GitHub? # to your account

Typo fixes #3325

Merged
merged 2 commits into from
Nov 9, 2022
Merged

Typo fixes #3325

merged 2 commits into from
Nov 9, 2022

Conversation

Deltaspace0
Copy link
Contributor

@Deltaspace0 Deltaspace0 commented Nov 8, 2022

Fixed spelling errors in comments, strings and variables.

Copy link
Collaborator

@kokobd kokobd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM for code-range and haddock-comments. Brilliant!

Copy link
Collaborator

@July541 July541 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Many thanks!

@July541
Copy link
Collaborator

July541 commented Nov 8, 2022

I think we should keep the changelog as is.

Copy link
Collaborator

@OliverMadine OliverMadine left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

❤️

Copy link
Collaborator

@konn konn left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for correcting my typo in Splice Plugin! 👍

@michaelpj michaelpj added the merge me Label to trigger pull request merge label Nov 9, 2022
@mergify mergify bot merged commit 5d56aa7 into haskell:master Nov 9, 2022
@Deltaspace0 Deltaspace0 deleted the typo-fix branch November 9, 2022 18:37
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merge me Label to trigger pull request merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants