Skip to content

Conversation

@iManu
Copy link
Contributor

@iManu iManu commented Nov 7, 2025

Reporter: Simon Grelet

This PR is a new changelog contribution. It has been created automatically.

Make sure to review it carefully before merging it.

@RoRoJ RoRoJ merged commit 2e0a1ec into main Nov 7, 2025
4 checks passed
@RoRoJ RoRoJ deleted the docs/changelog/2025-11-07-091228 branch November 7, 2025 12:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: changelog Changelog entries

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants