Skip to content

Conversation

@geo-ghci-int
Copy link
Contributor

@geo-ghci-int geo-ghci-int bot commented Aug 12, 2025

Backport of #3710 to 3.32

@sebr72 sebr72 self-requested a review August 12, 2025 14:13
@sebr72 sebr72 merged commit 5cc7064 into 3.32 Aug 12, 2025
17 checks passed
@sebr72 sebr72 deleted the ghci/backport/3710-to-3.32 branch August 12, 2025 14: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.

3 participants