Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

Automated update of translated documentation

@seratch
Copy link
Member

seratch commented Jul 24, 2025

Triggered by #1215; no need to merge this time

@seratch seratch added the documentation Improvements or additions to documentation label Jul 24, 2025
@seratch seratch closed this Jul 24, 2025
@seratch seratch deleted the update-translated-docs-16477724722 branch September 9, 2025 08:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant