Skip to content

Fix typos, doubled words#32372

Merged
roji merged 1 commit into
dotnet:mainfrom
petterh:petterh/fix-typos
Nov 21, 2023
Merged

Fix typos, doubled words#32372
roji merged 1 commit into
dotnet:mainfrom
petterh:petterh/fix-typos

Conversation

@petterh

@petterh petterh commented Nov 21, 2023

Copy link
Copy Markdown
Contributor

@petterh

petterh commented Nov 21, 2023

Copy link
Copy Markdown
Contributor Author

@dotnet-policy-service agree

@roji roji left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for these!

@roji roji merged commit b848bf1 into dotnet:main Nov 21, 2023
This was referenced Jun 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants