Skip to content

Conversation

@sbrugman
Copy link
Collaborator

@sbrugman sbrugman commented Dec 3, 2023

No description provided.

@sbrugman sbrugman merged commit 00606da into main Dec 4, 2023
@sbrugman sbrugman deleted the type-hint-fix branch December 4, 2023 09:46
@sbrugman sbrugman added the typing Change to type hints label Dec 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

typing Change to type hints

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants