Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: sync translations #1466

Merged
merged 1 commit into from
Jan 18, 2024
Merged

chore: sync translations #1466

merged 1 commit into from
Jan 18, 2024

Conversation

task-bot
Copy link
Collaborator

Automated changes by create-pull-request GitHub action

@task-bot task-bot added the area: translation Changes related to translated documents. label Jan 12, 2024
@task-bot task-bot force-pushed the chore/sync-translations branch from bf2dc7e to d5ea8da Compare January 18, 2024 00:19
@andreynering andreynering merged commit 2cb68af into main Jan 18, 2024
11 checks passed
@andreynering andreynering deleted the chore/sync-translations branch January 18, 2024 18:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area: translation Changes related to translated documents.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants