Skip to content

Overload filters to accept Option[Type]#357

Merged
SuperUserDone merged 2 commits into
masterfrom
louis/option-overloads
May 19, 2026
Merged

Overload filters to accept Option[Type]#357
SuperUserDone merged 2 commits into
masterfrom
louis/option-overloads

Conversation

@SuperUserDone
Copy link
Copy Markdown
Contributor

No description provided.

@SuperUserDone SuperUserDone requested review from ml86 and mpollmeier May 12, 2026 11:30
@SuperUserDone SuperUserDone force-pushed the louis/option-overloads branch from 9569025 to 1eff541 Compare May 12, 2026 11:33
@SuperUserDone SuperUserDone force-pushed the louis/option-overloads branch from 1eff541 to a88e60f Compare May 12, 2026 11:34
@SuperUserDone
Copy link
Copy Markdown
Contributor Author

Will need to be adapted to the hybrid method, both option 1 and 2.

@SuperUserDone SuperUserDone merged commit 8d14807 into master May 19, 2026
1 check passed
@SuperUserDone SuperUserDone deleted the louis/option-overloads branch May 19, 2026 13:02
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