Skip to content

Conversation

shbenzer
Copy link
Contributor

There were two instances where "invalid" was misspelled as "invalud" - I fixed them.

@github-actions github-actions bot added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Jun 25, 2025
@shbenzer
Copy link
Contributor Author

@dotnet-policy-service agree

@shbenzer shbenzer changed the title Fixed instances where invalid was written as invalud Fixed instances where invalid was written as invalud or invalod Jun 26, 2025
@teo-tsirpanis teo-tsirpanis added area-Meta and removed needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners labels Jun 28, 2025
Copy link
Contributor

Tagging subscribers to this area: @dotnet/area-meta
See info in area-owners.md if you want to be subscribed.

@jeffhandley jeffhandley self-assigned this Sep 1, 2025
Copy link
Member

@jeffhandley jeffhandley left a comment

Choose a reason for hiding this comment

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

Thank you, @shbenzer. Sorry it took us so long to take a look at this.

@jeffhandley jeffhandley enabled auto-merge (squash) September 1, 2025 22:00
@jeffhandley jeffhandley merged commit 7eaf6c4 into dotnet:main Sep 1, 2025
88 checks passed
@shbenzer
Copy link
Contributor Author

shbenzer commented Sep 2, 2025

Thank you, @shbenzer. Sorry it took us so long to take a look at this.

No worries, happy to help

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area-Meta community-contribution Indicates that the PR has been added by a community member
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants