Skip to content

Conversation

@oferze
Copy link
Contributor

@oferze oferze commented Dec 4, 2025

No description provided.

@jkotas jkotas merged commit a891243 into dotnet:main Dec 4, 2025
188 of 192 checks passed
@jkotas
Copy link
Member

jkotas commented Dec 4, 2025

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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.

2 participants