Skip to content

Conversation

roji
Copy link
Member

@roji roji commented May 23, 2025

Thanks for pointing this out @Charlieface!

Follow-up for 246b2d2

@roji roji requested a review from a team as a code owner May 23, 2025 08:17
@roji roji enabled auto-merge (squash) May 23, 2025 09:25
@roji roji merged commit 7a337e9 into dotnet:main May 23, 2025
7 checks passed
@roji roji deleted the MoreSetOperations branch May 23, 2025 10:17
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