Skip to content

Conversation

@Calinou Calinou added enhancement topic:i18n Related to internationalization. cherrypick:4.4 cherrypick:4.5 area:manual Issues and PRs related to the Manual/Tutorials section of the documentation labels Nov 5, 2025
@mhilbrunner
Copy link
Member

@Calinou LGTM, although it now needs a rebase after #11421 was merged.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:manual Issues and PRs related to the Manual/Tutorials section of the documentation cherrypick:4.4 cherrypick:4.5 enhancement topic:i18n Related to internationalization.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants