Skip to content

Conversation

@typescript-bot
Copy link
Collaborator

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

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

Copy link
Member

@DanielRosenwasser DanielRosenwasser left a comment

Choose a reason for hiding this comment

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

Yeah I think the code I wrote is good.

@github-project-automation github-project-automation bot moved this from Not started to Needs merge in PR Backlog Mar 19, 2025
@DanielRosenwasser DanielRosenwasser merged commit 92eedcb into release-5.8 Mar 19, 2025
31 checks passed
@DanielRosenwasser DanielRosenwasser deleted the cherry-pick/61452/release-5.8 branch March 19, 2025 23:25
@github-project-automation github-project-automation bot moved this from Needs merge to Done in PR Backlog Mar 19, 2025
@sandersn sandersn removed this from PR Backlog Apr 22, 2025
@microsoft microsoft locked as resolved and limited conversation to collaborators Oct 15, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants