Skip to content

Conversation

gewarren
Copy link
Contributor

(Hide whitespace changes.)

@gewarren gewarren requested a review from a team as a code owner September 22, 2025 19:41
@github-actions github-actions bot added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Sep 22, 2025
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.

This LGTM @gewarren

Let's :shipit:

@gewarren gewarren merged commit e5f7c48 into dotnet:main Sep 23, 2025
6 checks passed
@gewarren gewarren deleted the rectanglef branch September 23, 2025 15:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners user-feedback
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants