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

Correct some typos #5

Closed
wants to merge 1 commit into from
Closed

Correct some typos #5

wants to merge 1 commit into from

Conversation

zauster
Copy link

@zauster zauster commented May 25, 2023

seperate -> separate
spit -> split

@zauster
Copy link
Author

zauster commented May 25, 2023

I created another pull request with an additional change, see the PR #6 which includes the commit in this PR as well. So if you accept the other change, there is no need to have this one too. Sorry for the duplication..

@scheidan
Copy link
Owner

Thanks a lot!
I'm sorry, I just saw your PR now, I somehow deactivated the notifications for this repo...

Instead of merging it was easier to fix the typos directly, I gave you credit in the commit message :)

@scheidan scheidan closed this Jan 16, 2024
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.

3 participants