Skip to content

70 any for multiple protocols#87

Merged
rhendriks merged 42 commits into
masterfrom
70-any-for-multiple-protocols
Jun 8, 2026
Merged

70 any for multiple protocols#87
rhendriks merged 42 commits into
masterfrom
70-any-for-multiple-protocols

Conversation

@rhendriks

Copy link
Copy Markdown
Owner

No description provided.

@rhendriks rhendriks self-assigned this Jun 8, 2026
@rhendriks rhendriks added bug Something isn't working enhancement New feature or request labels Jun 8, 2026
@rhendriks rhendriks linked an issue Jun 8, 2026 that may be closed by this pull request
@rhendriks rhendriks added fix fix or improve existing features/implementations and removed bug Something isn't working labels Jun 8, 2026
@rhendriks rhendriks merged commit 7753997 into master Jun 8, 2026
2 checks passed
@rhendriks rhendriks deleted the 70-any-for-multiple-protocols branch June 8, 2026 11:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request fix fix or improve existing features/implementations

Projects

None yet

Development

Successfully merging this pull request may close these issues.

'any' for multiple protocols

1 participant