Skip to content

Conversation

@MonkeTGG
Copy link
Contributor

default is spelt default not deafult

@github-actions github-actions bot added the pr: other Pull requests that neither add new extensions or change existing ones label Nov 18, 2025
Copy link
Member

@GarboMuffin GarboMuffin left a comment

Choose a reason for hiding this comment

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

  • This is a trivial change that doesn't require testing.
  • I have no additional concerns.

@Brackets-Coder Brackets-Coder merged commit 5588774 into TurboWarp:master Nov 18, 2025
4 checks passed
@GarboMuffin
Copy link
Member

@Brackets-Coder you should use one of the review comment templates even when its a boring trivial change

@Brackets-Coder
Copy link
Contributor

@Brackets-Coder you should use one of the review comment templates even when its a boring trivial change

I didn't because you already did and I agreed with the checkboxes, but I'll note that for the future.
Thanks for making TW a better place!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr: other Pull requests that neither add new extensions or change existing ones

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants