Skip to content

Conversation

@jweyrich
Copy link
Owner

In #8 we missed these files. I'm not sure how the CI build passed though!
Anyway, here they are.

@jweyrich jweyrich merged commit 0980f6d into master Oct 21, 2025
4 checks passed
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