Skip to content

Conversation

@am11
Copy link
Member

@am11 am11 commented Feb 10, 2022

@ghost
Copy link

ghost commented Feb 10, 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 ghost added the community-contribution Indicates that the PR has been added by a community member label Feb 10, 2022
@ghost
Copy link

ghost commented Feb 10, 2022

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

Issue Details

cc @jakobbotsch, @EgorBo

Author: am11
Assignees: -
Labels:

area-Infrastructure, community-contribution

Milestone: -

@danmoseley danmoseley merged commit e6349af into dotnet:main Feb 10, 2022
@ghost ghost locked as resolved and limited conversation to collaborators Mar 12, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

area-Infrastructure 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