Skip to content

Conversation

@iManu
Copy link
Contributor

@iManu iManu commented Dec 5, 2025

Reporter: Elise Auvray

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

Make sure to review it carefully before merging it.

@bene2k1 bene2k1 merged commit 8098b07 into main Dec 5, 2025
2 of 3 checks passed
@bene2k1 bene2k1 deleted the docs/changelog/2025-12-05-153751 branch December 5, 2025 15:48
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.

3 participants