Skip to content

Conversation

@MichaelSimons
Copy link
Member

@MichaelSimons MichaelSimons commented Jun 15, 2021

@ghost
Copy link

ghost commented Jun 15, 2021

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.

@MichaelSimons
Copy link
Member Author

Friendly ping, please review when convenient.

@ViktorHofer ViktorHofer merged commit 1401202 into dotnet:main Jun 18, 2021
@MichaelSimons MichaelSimons deleted the ArPow-PatchRemoval-36 branch June 18, 2021 13:25
@ghost ghost locked as resolved and limited conversation to collaborators Jul 18, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants