Skip to content

Conversation

@typescript-bot
Copy link
Collaborator

This cherry-pick was triggered by a request on #62697.

Please review the diff and merge if no changes are unexpected.

@github-project-automation github-project-automation bot moved this from Not started to Needs merge in PR Backlog Oct 31, 2025
@jakebailey jakebailey merged commit 70e9a94 into release-5.9 Oct 31, 2025
32 checks passed
@jakebailey jakebailey deleted the cherry-pick/62697/release-5.9 branch October 31, 2025 17:30
@github-project-automation github-project-automation bot moved this from Needs merge to Done in PR Backlog Oct 31, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

5 participants