Skip to content

Backport patch from #10680#10681

Closed
pgherveou wants to merge 1 commit intounstable2507from
pg/backport_10680
Closed

Backport patch from #10680#10681
pgherveou wants to merge 1 commit intounstable2507from
pg/backport_10680

Conversation

@pgherveou
Copy link
Copy Markdown
Contributor

see #10680

@pgherveou
Copy link
Copy Markdown
Contributor Author

closing PR should be created automatically through the backport label on the original PR

@pgherveou pgherveou closed this Dec 17, 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.

1 participant