Skip to content

Conversation

@MichalStrehovsky
Copy link
Member

I assume these are new.

@MichalStrehovsky MichalStrehovsky requested a review from jkotas March 16, 2021 18:35
@ghost
Copy link

ghost commented Mar 16, 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.

Copy link
Member

@jkotas jkotas left a comment

Choose a reason for hiding this comment

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

Thanks

@stephentoub stephentoub merged commit 93bc10b into dotnet:main Mar 17, 2021
@MichalStrehovsky MichalStrehovsky deleted the nonzro branch March 17, 2021 08:37
@ghost ghost locked as resolved and limited conversation to collaborators Apr 16, 2021
@karelz karelz added this to the 6.0.0 milestone May 20, 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