nit: correct doc#1335

DaedalusG merged 1 commit into

mainsourcegraph/src-cli:mainfrom

wg/plat/src-cli-7_4_0sourcegraph/src-cli:wg/plat/src-cli-7_4_0Copy head branch name to clipboard