Skip to content

Conversation

@animalcharade
Copy link
Contributor

No description provided.

@ghost ghost added the community-contribution Indicates that the PR has been added by a community member label Oct 12, 2022
@ghost
Copy link

ghost commented Oct 12, 2022

I couldn't figure out the best area label to add to this PR. If you have write-permissions please help me learn by adding exactly one area label.

@ghost
Copy link

ghost commented Oct 12, 2022

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

Issue Details

null

Author: animalcharade
Assignees: -
Labels:

area-Meta, community-contribution

Milestone: -

@danmoseley
Copy link
Member

Thanks for the PR. I think the only change with taking here is the use->used typo. The rest seems fine already.

@stephentoub stephentoub merged commit 786d631 into dotnet:main Nov 3, 2022
@ghost ghost locked as resolved and limited conversation to collaborators Dec 3, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

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