Skip to content

Conversation

@jerop
Copy link
Contributor

@jerop jerop commented Jul 21, 2025

this is required by the chore tool

@jerop jerop requested review from a team as code owners July 21, 2025 19:06
@jerop jerop merged commit ef77093 into main Jul 21, 2025
11 checks passed
@jerop jerop deleted the feat/license branch July 21, 2025 19:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants