Skip to content

Conversation

@WojciechMazur
Copy link
Contributor

Backports #24413 to the 3.8.0-RC1.

PR submitted by the release tooling.
[skip ci]

Note that it is still compiled in this commit with the previous compiler artifacts.
This will be dropped in an upcoming commit.

[Cherry-picked 0207448]
These commit should be reverted before the release of 3.8.0

[Cherry-picked 10a8773]
@WojciechMazur WojciechMazur merged commit 52958fd into release-3.8.0 Nov 13, 2025
58 checks passed
@WojciechMazur WojciechMazur deleted the release-3.8.0_backport-24413 branch November 13, 2025 22:16
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