Skip to content

Conversation

@kant2002
Copy link
Contributor

@kant2002 kant2002 commented Mar 6, 2023

Based on #83023 (comment)

@ghost
Copy link

ghost commented Mar 6, 2023

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 ghost added the community-contribution Indicates that the PR has been added by a community member label Mar 6, 2023
Copy link
Member

@eerhardt eerhardt left a comment

Choose a reason for hiding this comment

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

LGTM. Thanks!

@marek-safar marek-safar merged commit b6a7818 into dotnet:main Apr 3, 2023
@kant2002 kant2002 deleted the patch-10 branch April 3, 2023 08:11
@ghost ghost locked as resolved and limited conversation to collaborators May 3, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

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