Skip to content

Fix #344 unregistered destinations might be opened in navigation#347

Merged
vkatz merged 2 commits intomainfrom
bugfix/#344-disallow-unknown-destination
Feb 11, 2026
Merged

Fix #344 unregistered destinations might be opened in navigation#347
vkatz merged 2 commits intomainfrom
bugfix/#344-disallow-unknown-destination

Commits

Commits on Feb 8, 2026

Commits on Feb 11, 2026