Skip to content

Conversation

@fingolfin
Copy link
Member

@fingolfin fingolfin commented Oct 28, 2025

Renaming happened in f9b7d27 / PR #59158 by @JeffBezanson

@fingolfin fingolfin added docs This change adds or pertains to documentation backport 1.12 Change should be backported to release-1.12 labels Oct 28, 2025
@aviatesk aviatesk merged commit b63991c into master Oct 29, 2025
8 of 11 checks passed
@aviatesk aviatesk deleted the mh/GlobalMethods branch October 29, 2025 08:59
aviatesk pushed a commit that referenced this pull request Oct 29, 2025
@aviatesk aviatesk mentioned this pull request Oct 29, 2025
19 tasks
@aviatesk aviatesk removed the backport 1.12 Change should be backported to release-1.12 label Oct 29, 2025
@lgoettgens
Copy link
Contributor

I think this should also get a "backport 1.13" label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport 1.13 docs This change adds or pertains to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants