Skip to content

chore: update generated files#1873

Merged
weblate merged 1 commit intomainfrom
create-pull-request/submodule-update
May 31, 2025
Merged

chore: update generated files#1873
weblate merged 1 commit intomainfrom
create-pull-request/submodule-update

Conversation

@weblate
Copy link
Member

@weblate weblate commented May 31, 2025

Automated changes by create-pull-request GitHub action

@weblate weblate enabled auto-merge (rebase) May 31, 2025 10:24
@weblate weblate merged commit 33e0989 into main May 31, 2025
19 checks passed
@weblate weblate deleted the create-pull-request/submodule-update branch May 31, 2025 10:26
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.

1 participant