Skip to content

Fix typos, doubled words#32372

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

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

Conversation

@petterh
Copy link
Contributor

@petterh petterh commented Nov 21, 2023

@petterh
Copy link
Contributor Author

petterh commented Nov 21, 2023

@dotnet-policy-service agree

Copy link
Member

@roji roji left a comment

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 Jul 22, 2025
This was referenced Mar 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

3 participants