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

docs: fix spelling mistakes #3324

Merged
merged 1 commit into from May 11, 2023
Merged

docs: fix spelling mistakes #3324

merged 1 commit into from May 11, 2023

Conversation

georglauterbach
Copy link
Member

Description

//

Fixes #3322

Type of change

  • This change is a documentation update

Checklist:

  • My code follows the style guidelines of this project
  • I have performed a self-review of my own code

@georglauterbach georglauterbach added area/documentation kind/bug/fix A fix (PR) for a confirmed bug labels May 11, 2023
@georglauterbach georglauterbach self-assigned this May 11, 2023
@georglauterbach georglauterbach merged commit 4536109 into master May 11, 2023
2 checks passed
@georglauterbach georglauterbach deleted the docs/spelling branch May 11, 2023 09:06
@github-actions
Copy link
Contributor

Documentation preview for this PR is ready! 🎉

Built with commit: fa4849c

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/documentation kind/bug/fix A fix (PR) for a confirmed bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Some typos in documentation
1 participant