Skip to content

feat: better filters - #14

Merged
erikbrinkman merged 1 commit into
mainfrom
pr14
Oct 21, 2026
Merged

erikbrinkman merged 1 commit into
mainfrom
pr14

Conversation

@erikbrinkman

@erikbrinkman erikbrinkman commented Oct 21, 2026 •

Copy link
Copy Markdown
Contributor

No description provided.

@erikbrinkman
erikbrinkman marked this pull request as ready for review October 21, 2026 12:36
@erikbrinkman
erikbrinkman merged commit 73bcc65 into main Oct 21, 2026
5 checks passed
@erikbrinkman
erikbrinkman deleted the pr14 branch October 21, 2026 12:36
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