Skip to content

Conversation

@ecampbot
Copy link
Contributor

No description provided.

@manuelmeister manuelmeister added this pull request to the merge queue Nov 19, 2024
Merged via the queue into devel with commit ad8b1f4 Nov 19, 2024
60 checks passed
@manuelmeister manuelmeister deleted the l10n_devel branch November 19, 2024 06:24
@carlobeltrame carlobeltrame mentioned this pull request Jun 10, 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