Skip to content

Avoid error with license=None#19

Merged
m-mohr merged 1 commit intomainfrom
license_none
Feb 13, 2026
Merged

Avoid error with license=None#19
m-mohr merged 1 commit intomainfrom
license_none

Conversation

@ivorbosloper
Copy link
Collaborator

No description provided.

@m-mohr m-mohr merged commit 543eb52 into main Feb 13, 2026
7 checks passed
@m-mohr m-mohr deleted the license_none branch February 13, 2026 16:33
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