fix: Fix navigation manager to be in line with server#1248
Merged
provokateurin merged 3 commits intomasterfrom Oct 1, 2024
Merged
fix: Fix navigation manager to be in line with server#1248provokateurin merged 3 commits intomasterfrom
provokateurin merged 3 commits intomasterfrom
Commits
Commits on Oct 1, 2024
- committed
- authored andcommitted
- committed
