Skip to content

Conversation

@steeleduncan
Copy link
Contributor

Fixes #

@github-project-automation github-project-automation bot moved this to Not started in PR Backlog Jun 20, 2025
@typescript-bot typescript-bot added the For Uncommitted Bug PR for untriaged, rejected, closed or missing bug label Jun 20, 2025
@typescript-bot
Copy link
Collaborator

This PR doesn't have any linked issues. Please open an issue that references this PR. From there we can discuss and prioritise.

@github-project-automation github-project-automation bot moved this from Not started to Needs merge in PR Backlog Jun 23, 2025
@jakebailey jakebailey merged commit 88b3bea into microsoft:main Jun 30, 2025
32 checks passed
@github-project-automation github-project-automation bot moved this from Needs merge to Done in PR Backlog Jun 30, 2025
@steeleduncan steeleduncan deleted the patch-1 branch July 1, 2025 10:05
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.

4 participants