Skip to content

Conversation

@ofranc
Copy link
Collaborator

@ofranc ofranc commented Aug 11, 2025

Reporter: Fabien Da Silva

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

Make sure to review it carefully before merging it.

@bene2k1 bene2k1 added the do not merge PR that shouldn't be merged before a specific date (eg release) label Aug 11, 2025
@bene2k1 bene2k1 removed the do not merge PR that shouldn't be merged before a specific date (eg release) label Aug 12, 2025
@bene2k1 bene2k1 merged commit 5dd091a into main Aug 12, 2025
4 of 5 checks passed
@bene2k1 bene2k1 deleted the docs/changelog/2025-08-11-135553 branch August 12, 2025 08:55
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