Skip to content

Conversation

@hugovk
Copy link
Member

@hugovk hugovk commented Dec 9, 2025

@hugovk hugovk added type: docs documentation improvement, missing or needing clarification skip news used on prs to opt out of the changelog requirement labels Dec 9, 2025
Copy link
Member

@Pierre-Sassoulas Pierre-Sassoulas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice catch !

@nicoddemus nicoddemus added the backport 9.0.x apply to PRs at any point; backports the changes to the 9.0.x branch label Dec 9, 2025
Copy link
Member

@nicoddemus nicoddemus left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@nicoddemus nicoddemus merged commit 980bb5c into main Dec 9, 2025
33 checks passed
@nicoddemus nicoddemus deleted the hugovk-patch-1 branch December 9, 2025 19:15
@patchback
Copy link

patchback bot commented Dec 9, 2025

Backport to 9.0.x: 💚 backport PR created

✅ Backport PR branch: patchback/backports/9.0.x/980bb5c12bac5a765dc0fc76142ba62177d1dba9/pr-14038

Backported as #14040

🤖 @patchback
I'm built with octomachinery and
my source is open — https://github.com/sanitizers/patchback-github-app.

patchback bot pushed a commit that referenced this pull request Dec 9, 2025
nicoddemus pushed a commit that referenced this pull request Dec 9, 2025
(cherry picked from commit 980bb5c)

Co-authored-by: Hugo van Kemenade <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport 9.0.x apply to PRs at any point; backports the changes to the 9.0.x branch skip news used on prs to opt out of the changelog requirement type: docs documentation improvement, missing or needing clarification

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants