Skip to content

Hide GlobalFilters if they are empty#679

Merged
aguingand merged 3 commits intomainfrom
hide-globalfilter-if-empty
Jan 19, 2026
Merged

Hide GlobalFilters if they are empty#679
aguingand merged 3 commits intomainfrom
hide-globalfilter-if-empty

Commits

Commits on Jan 19, 2026