Skip to content

Conversation

@chaoos
Copy link
Contributor

@chaoos chaoos commented Dec 8, 2025

@mtaillefumier
Copy link
Contributor

@chaoos and @kostrzewa , I think we can merge this PR. Thanks for opening it.

@kostrzewa
Copy link
Member

yes, please go ahead

@mtaillefumier mtaillefumier merged commit f2546c4 into master Dec 16, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants