Skip to content

fix(rest): drop a nav group DECLARED empty, not just one the gate emptied (#7380) - #7460

Merged
os-help merged 1 commit into
mainfrom
claude/issue-7380-filternav-declared-empty-group
Aug 10, 2026
Merged

fix(rest): drop a nav group DECLARED empty, not just one the gate emptied (#7380)#7460
os-help merged 1 commit into
mainfrom
claude/issue-7380-filternav-declared-empty-group

Commits

Commits on Aug 10, 2026