Short-circuit in NavGroup.get_active#173
Merged
joshuadavidthomas merged 1 commit intowesterveltco:mainfrom Jun 3, 2025
Merged
Short-circuit in `NavGroup.get_active`#173joshuadavidthomas merged 1 commit intowesterveltco:mainfrom
joshuadavidthomas merged 1 commit intowesterveltco:mainfrom
Commits
Commits on Jun 3, 2025
- authored andcommitted
