Skip to content

Conversation

@roji
Copy link
Member

@roji roji commented Jan 20, 2026

See #5247

@roji roji requested a review from a team January 20, 2026 11:47
@roji roji enabled auto-merge (squash) January 20, 2026 11:51
@roji roji merged commit 23b9e3d into dotnet:main Jan 22, 2026
4 checks passed
@roji roji deleted the main branch January 22, 2026 18:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants