Skip to content

style: make show-filtered consistent - #45

Merged
erikbrinkman merged 1 commit into
mainfrom
pr45
Nov 11, 2026
Merged

erikbrinkman merged 1 commit into
mainfrom
pr45

Conversation

@erikbrinkman

@erikbrinkman erikbrinkman commented Nov 11, 2026 •

Copy link
Copy Markdown
Contributor

No description provided.

@erikbrinkman
erikbrinkman marked this pull request as ready for review November 11, 2026 14:43
@erikbrinkman
erikbrinkman merged commit 99d84ab into main Nov 11, 2026
5 checks passed
@erikbrinkman
erikbrinkman deleted the pr45 branch November 11, 2026 14:43
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