Skip to content

Conversation

@andreer
Copy link
Member

@andreer andreer commented Oct 1, 2025

I confirm that this contribution is made under the terms of the license found in the root directory of this repository's source tree and that I have the authority necessary to make this contribution on behalf of its copyright owner.

@andreer andreer requested a review from bjormel October 1, 2025 11:07
@bjormel bjormel merged commit 53f117b into master Oct 1, 2025
7 checks passed
@bjormel bjormel deleted the andreer-patch-1 branch October 1, 2025 12:11
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.

3 participants