Skip to content

Conversation

hamzaremmal
Copy link
Member

Follow-up to #23562 from #23560

@hamzaremmal hamzaremmal requested a review from Gedochao July 23, 2025 11:35
@hamzaremmal hamzaremmal requested a review from a team as a code owner July 23, 2025 11:35
@hamzaremmal hamzaremmal enabled auto-merge July 23, 2025 11:35
@hamzaremmal hamzaremmal merged commit 14b7f03 into scala:main Jul 23, 2025
30 checks passed
@hamzaremmal hamzaremmal deleted the sync-patches branch July 23, 2025 14:53
@WojciechMazur WojciechMazur added this to the 3.7.3 milestone Jul 29, 2025
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.

3 participants