Skip to content

Conversation

@carlobeltrame
Copy link
Member

@carlobeltrame carlobeltrame requested a review from a team August 12, 2025 07:26
@pmattmann pmattmann added this pull request to the merge queue Aug 12, 2025
Merged via the queue into devel with commit 294e65b Aug 12, 2025
50 checks passed
@pmattmann pmattmann deleted the crowdin-pr-title branch August 12, 2025 17:01
@BacLuc BacLuc mentioned this pull request Sep 2, 2025
@github-actions github-actions bot mentioned this pull request Sep 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants