Skip to content

docs: fix spelling mistakes#3324

Merged
georglauterbach merged 1 commit intomasterfrom
docs/spelling
May 11, 2023
Merged

docs: fix spelling mistakes#3324
georglauterbach merged 1 commit intomasterfrom
docs/spelling

Conversation

@georglauterbach
Copy link
Copy Markdown
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
@georglauterbach georglauterbach deleted the docs/spelling branch May 11, 2023 09:06
@github-actions
Copy link
Copy Markdown
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