Skip to content

Conversation

@WojciechMazur
Copy link
Contributor

Backports #13915 to the 3.8.0-RC1.

PR submitted by the release tooling.
[skip ci]

Base automatically changed from release-3.8.0_backport-24332 to release-3.8.0 November 12, 2025 20:02
@WojciechMazur WojciechMazur merged commit 7622216 into release-3.8.0 Nov 12, 2025
43 of 56 checks passed
@WojciechMazur WojciechMazur deleted the release-3.8.0_backport-13915 branch November 12, 2025 20:03
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