Skip to content

Add missing license header#217

Merged
tim-hoffman merged 2 commits intomainfrom
th/add_missing_license
Nov 14, 2025
Merged

Add missing license header#217
tim-hoffman merged 2 commits intomainfrom
th/add_missing_license

Conversation

@tim-hoffman
Copy link
Member

No description provided.

@tim-hoffman tim-hoffman requested a review from a team November 14, 2025 21:05
@tim-hoffman tim-hoffman merged commit ec1a9d1 into main Nov 14, 2025
11 checks passed
@tim-hoffman tim-hoffman deleted the th/add_missing_license branch November 14, 2025 22:17
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.

2 participants