Skip to content

maint: update types. issue #392#399

Merged
modesty merged 1 commit intomasterfrom
scratch/updateTypes
Aug 9, 2025
Merged

maint: update types. issue #392#399
modesty merged 1 commit intomasterfrom
scratch/updateTypes

Conversation

@modesty
Copy link
Copy Markdown
Owner

@modesty modesty commented Aug 9, 2025

No description provided.

@modesty modesty merged commit 6039e2a into master Aug 9, 2025
1 check passed
@modesty modesty deleted the scratch/updateTypes branch August 9, 2025 23:46
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