Skip to content

Conversation

gabritto
Copy link
Member

@gabritto gabritto commented Jun 12, 2024

@typescript-bot typescript-bot added Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug labels Jun 12, 2024
@gabritto gabritto requested a review from jakebailey June 12, 2024 19:44
@gabritto gabritto merged commit 346df34 into main Jun 12, 2024
@gabritto gabritto deleted the gabritto/fixtypo branch June 12, 2024 20:01
@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