Skip to content

Minor typing improvements#463

Merged
sloria merged 2 commits intomainfrom
typing
Apr 1, 2026
Merged

Minor typing improvements#463
sloria merged 2 commits intomainfrom
typing

Conversation

@sloria
Copy link
Copy Markdown
Owner

@sloria sloria commented Apr 1, 2026

No description provided.

@sloria sloria enabled auto-merge (squash) April 1, 2026 02:42
@sloria sloria merged commit ad5942c into main Apr 1, 2026
8 checks passed
@sloria sloria deleted the typing branch April 1, 2026 02:43
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.

2 participants