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 small typo in docs #3

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Conversation

jannic
Copy link

@jannic jannic commented Nov 14, 2023

No description provided.

@geky
Copy link
Owner

geky commented Nov 14, 2023

Thanks! Will merge when CI is done

@jannic
Copy link
Author

jannic commented Nov 16, 2023

Thanks! Will merge when CI is done

"This request was automatically failed because there were no enabled runners online to process the request for more than 1 days."

@geky
Copy link
Owner

geky commented Dec 20, 2023

Pesky CI. Sorry about the delay.

CI should be fixed in master now. If you rebase or enable edits from maintainers I can bring this in now.

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.

2 participants