Skip to content

Conversation

@campersau
Copy link
Contributor

Saw it in #93160 but it was too late.

@ghost ghost added needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners community-contribution Indicates that the PR has been added by a community member labels Oct 11, 2023
@stephentoub stephentoub merged commit d6fa6bb into dotnet:main Oct 12, 2023
@campersau campersau deleted the patch-1 branch October 12, 2023 02:05
@ghost ghost locked as resolved and limited conversation to collaborators Nov 11, 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 needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants