Skip to content

Comments

fix: typing update for recent change#157

Merged
henryiii merged 1 commit intomainfrom
henryiii/fix/typingdata
Apr 18, 2025
Merged

fix: typing update for recent change#157
henryiii merged 1 commit intomainfrom
henryiii/fix/typingdata

Conversation

@henryiii
Copy link
Member

Missed this in #155.

@henryiii henryiii force-pushed the henryiii/fix/typingdata branch from 3b4d572 to 2997151 Compare April 18, 2025 18:13
@henryiii henryiii marked this pull request as ready for review April 18, 2025 18:16
@henryiii henryiii merged commit 0c79359 into main Apr 18, 2025
10 checks passed
@henryiii henryiii deleted the henryiii/fix/typingdata branch April 18, 2025 18:16
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