Skip to content

Conversation

@roji
Copy link
Member

@roji roji commented Jul 23, 2025

Based on top of #36417, review 2nd commit only.

Part of #36296

@roji roji linked an issue Jul 23, 2025 that may be closed by this pull request
16 tasks
@roji roji mentioned this pull request Jul 23, 2025
16 tasks
@roji roji force-pushed the ComplexJsonDistinct branch from 0703737 to 81b832e Compare July 24, 2025 10:43
@roji roji marked this pull request as ready for review July 24, 2025 10:43
@roji roji requested a review from a team as a code owner July 24, 2025 10:43
@roji roji force-pushed the ComplexJsonDistinct branch from 81b832e to 3cbf356 Compare July 24, 2025 20:23
@roji roji enabled auto-merge (squash) July 24, 2025 20:23
@roji roji force-pushed the ComplexJsonDistinct branch from 3cbf356 to 991ddb1 Compare July 24, 2025 20:57
@roji roji merged commit cb3e343 into dotnet:main Jul 24, 2025
7 checks passed
@roji roji deleted the ComplexJsonDistinct branch July 24, 2025 22:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants