Skip to content

Make mypy happy - #426

Merged
whonore merged 1 commit into
mainfrom
mypy-fix
May 16, 2026
Merged

Make mypy happy#426
whonore merged 1 commit into
mainfrom
mypy-fix

Conversation

@whonore

@whonore whonore commented May 16, 2026

Copy link
Copy Markdown
Owner

No description provided.

@whonore
whonore merged commit b8f12a0 into main May 16, 2026
2 checks passed
@whonore
whonore deleted the mypy-fix branch May 16, 2026 14:49
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.

1 participant