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

Fix typos #119

Closed
wants to merge 2 commits into from
Closed

Fix typos #119

wants to merge 2 commits into from

Conversation

Skylion007
Copy link
Contributor

Automated fixing of a whole bunch of typos

@Skylion007
Copy link
Contributor Author

@mosra The remaining errors seem to be CI install issues. Can you rerun them?

@mosra
Copy link
Owner

mosra commented Jun 18, 2021

Ugh damn CIs. It worked fine last week, guess I have to do another pointless round of updates across all repos.

Thanks for the PR!

@mosra mosra added this to TODO in Project management via automation Jun 18, 2021
@mosra mosra added this to the 2020.0b milestone Jun 18, 2021
@mosra
Copy link
Owner

mosra commented Jun 18, 2021

Merged in 0b2d817 together with a bunch of CI fixes, but it's an endless battle. Thanks again!

@mosra mosra closed this Jun 18, 2021
Project management automation moved this from TODO to Done Jun 18, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Development

Successfully merging this pull request may close these issues.

None yet

2 participants