Skip to content

Conversation

@josephperrott
Copy link
Member

No description provided.

@josephperrott josephperrott added the action: merge The PR is ready for merge by the caretaker label Dec 1, 2025
@josephperrott josephperrott requested a review from a team as a code owner December 1, 2025 17:32
@josephperrott josephperrott added the target: patch This PR is targeted for the next patch release label Dec 1, 2025
@josephperrott josephperrott removed the request for review from a team December 1, 2025 17:32
@josephperrott josephperrott added the area: build & ci Related the build and CI infrastructure of the project label Dec 1, 2025
@crisbeto
Copy link
Member

crisbeto commented Dec 1, 2025

This was done in #32441.

@crisbeto crisbeto closed this Dec 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

action: merge The PR is ready for merge by the caretaker area: build & ci Related the build and CI infrastructure of the project target: patch This PR is targeted for the next patch release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants