Fix zsh completions for add and locate-project#10810
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 1, 2022
Diomendius:bugfix-zsh-completions
Merged
Fix zsh completions for add and locate-project#10810bors merged 1 commit intorust-lang:masterfrom Diomendius:bugfix-zsh-completions
bors merged 1 commit intorust-lang:masterfrom
Diomendius:bugfix-zsh-completions