Fix navigation.md#Symbol: CLI should use symbols command#573

acorello wants to merge 1 commit intogolang:mastergolang/tools:masterfrom

acorello:patch-1acorello/tools:patch-1Copy head branch name to clipboard