Skip to content

Conversation

@github-actions
Copy link
Contributor

This pull request was automatically submitted.

@github-actions github-actions bot added translation ready A PR is waiting to be merged. Close to be solved ignore-for-release PRs with this label won't be included in the release notes labels Nov 14, 2022
@ikedas
Copy link
Member

ikedas commented Nov 19, 2022

I'm going to try merging this PR submitted by the bot. When new translations are pushed tomorrow, the PR will be automatically resubmitted.

@ikedas ikedas merged commit 9deec05 into sympa-6.2 Nov 20, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ignore-for-release PRs with this label won't be included in the release notes ready A PR is waiting to be merged. Close to be solved translation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants