Skip to content

Fix zsh completions for add and locate-project#10810

Merged
bors merged 1 commit intorust-lang:masterfrom
Diomendius:bugfix-zsh-completions
Jul 1, 2022
Merged

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

Commits

Commits on Jul 1, 2022