Skip to content

Conversation

@Youssef1313
Copy link
Member

No description provided.

@ghost ghost added the community-contribution Indicates PR is created by someone from the .NET community. label Nov 4, 2022
Copy link
Member

@BillWagner BillWagner left a comment

Choose a reason for hiding this comment

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

True. That's a bit of an edge case, but it's certainly correct.

@BillWagner BillWagner merged commit 1b75f1c into dotnet:main Nov 7, 2022
@Youssef1313 Youssef1313 deleted the patch-36 branch November 7, 2022 17:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

community-contribution Indicates PR is created by someone from the .NET community.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants