Skip to content

Conversation

@typescript-bot
Copy link
Collaborator

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

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 Nov 7, 2025
@jakebailey jakebailey merged commit 7e133be into release-5.9 Nov 7, 2025
32 checks passed
@jakebailey jakebailey deleted the cherry-pick/62727/release-5.9 branch November 7, 2025 20:07
@github-project-automation github-project-automation bot moved this from Needs merge to Done in PR Backlog Nov 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

For Uncommitted Bug PR for untriaged, rejected, closed or missing bug

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

5 participants