Skip to content

Conversation

gabritto
Copy link
Member

@gabritto gabritto commented Feb 4, 2025

Found the bug while working on another change.

@typescript-bot typescript-bot added Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug labels Feb 4, 2025
@gabritto
Copy link
Member Author

gabritto commented Mar 7, 2025

Included in #61359.

@gabritto gabritto closed this Mar 7, 2025
@github-project-automation github-project-automation bot moved this from Needs merge to Done in PR Backlog Mar 7, 2025
@sandersn sandersn removed this from PR Backlog Apr 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Author: Team 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