Skip to content

Cleanup and update typing#129

Merged
skarimo merged 5 commits intomainfrom
sherz/cleanup-typing
May 3, 2023
Merged

Cleanup and update typing#129
skarimo merged 5 commits intomainfrom
sherz/cleanup-typing

Conversation

@skarimo
Copy link
Copy Markdown
Member

@skarimo skarimo commented May 3, 2023

No description provided.

@skarimo skarimo requested a review from a team as a code owner May 3, 2023 13:02
@skarimo skarimo merged commit 61e0ace into main May 3, 2023
@skarimo skarimo deleted the sherz/cleanup-typing branch May 3, 2023 16:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants