Skip to content

Conversation

@DangoCat
Copy link
Member

This pull request was made by a robot.

@github-actions github-actions bot added the pr: other Pull requests that neither add new extensions or change existing ones label Nov 12, 2025
@GarboMuffin GarboMuffin merged commit 6424084 into TurboWarp:master Nov 13, 2025
4 checks passed
@DangoCat DangoCat deleted the update-translations-20251112105200 branch November 15, 2025 10:46
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