[skip-changelog] fix nav being left out form #1686#1710

umbynos merged 1 commit intomasterarduino/arduino-cli:masterfrom

umbynos/fix_navarduino/arduino-cli:umbynos/fix_navCopy head branch name to clipboard