Skip to content

Conversation

@d-level
Copy link
Member

@d-level d-level commented Nov 23, 2025

Made the header a bit more precise.

@d-level d-level self-assigned this Nov 23, 2025
@d-level d-level merged commit 9133e93 into main Nov 23, 2025
1 check passed
@d-level d-level deleted the docs_update_copyright_license_header branch November 23, 2025 15:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants