Skip to content

Conversation

@patchback
Copy link

@patchback patchback bot commented Oct 10, 2025

This is a backport of PR #4136 as merged into main (c7bbe48).

None

closes #4124

(cherry picked from commit c7bbe48)
@patchback patchback bot mentioned this pull request Oct 10, 2025
@dralley dralley merged commit bdaa5a1 into 3.29 Oct 13, 2025
14 checks passed
@dralley dralley deleted the patchback/backports/3.29/c7bbe48ba247518fe0cd5e840ec2357811fe49bb/pr-4136 branch October 13, 2025 14:07
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