Skip to content

Conversation

@alex40724
Copy link
Member

@alex40724 alex40724 commented Jan 27, 2026

This is a merge of #8897 which I forgot, fixing https://mantis.ilias.de/view.php?id=46494

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants