Skip to content

Conversation

miss-islington
Copy link
Contributor

@miss-islington miss-islington commented May 26, 2025

(cherry picked from commit 9eb84d8)

Co-authored-by: Bénédikt Tran [email protected]

@bedevere-app bedevere-app bot added awaiting review docs Documentation in the Doc dir labels May 26, 2025
@github-project-automation github-project-automation bot moved this to Todo in Docs PRs May 26, 2025
@picnixz picnixz marked this pull request as draft May 26, 2025 10:47
@picnixz picnixz self-assigned this May 26, 2025
@picnixz picnixz changed the title [3.13] gh-132710: add missing NEWS entry for GH-132901 (GH-134705) [3.13] gh-132710: add missing NEWS entry for GH-134704 (GH-134705) May 26, 2025
@picnixz
Copy link
Member

picnixz commented May 26, 2025

Again, we'll merge this one after #134704 is merged.

Caution

DO NOT FORGET TO UPDATE THE COMMIT MESSAGE TO CHANGE THE PR NUMBER TO #134704.

@picnixz
Copy link
Member

picnixz commented Aug 5, 2025

I'll just merge this one into the backport directly. Less commits.

@picnixz picnixz closed this Aug 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
awaiting review DO-NOT-MERGE docs Documentation in the Doc dir
Projects
Status: Todo
Development

Successfully merging this pull request may close these issues.

2 participants