Skip to content

Conversation

@Peter9192
Copy link
Member

Supersedes #161.

I fixed the type issue. Since I can't push to Martin's fork, I copied the branch to the original repo and added the commit to fix it. Now the feature is complete and can be merged.

@Peter9192 Peter9192 merged commit 09dbb5b into main Sep 8, 2025
4 checks passed
@Peter9192 Peter9192 mentioned this pull request Sep 8, 2025
4 tasks
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.

3 participants