Skip to content

Conversation

@alexrudd2
Copy link
Collaborator

Eliminates another 4 strict mypy errors.

Thanks @MAKOMO

Copy link
Collaborator

@janiversen janiversen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks

@janiversen janiversen merged commit e0571ca into dev Oct 18, 2023
@janiversen janiversen deleted the callback-disconnected-mypy branch October 18, 2023 05:43
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Oct 29, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants