Skip to content

typed body patterns#13

Merged
danielwitz merged 2 commits intomainfrom
typed-body-patterns
Jul 8, 2025
Merged

typed body patterns#13
danielwitz merged 2 commits intomainfrom
typed-body-patterns

Conversation

@danielwitz
Copy link
Contributor

@danielwitz danielwitz commented Jul 8, 2025

Added some types to body patterns according to this

@danielwitz danielwitz requested a review from osskitdev July 8, 2025 09:02
@danielwitz danielwitz merged commit ef75728 into main Jul 8, 2025
2 checks passed
@danielwitz danielwitz deleted the typed-body-patterns branch July 8, 2025 09:03
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