Update manpage and completions. #16172
Merged
Codecov / codecov/patch
succeeded
Oct 31, 2023 in 0s
Coverage not affected when comparing a36e145...6f9ef2a
View this Pull Request on Codecov
Coverage not affected when comparing a36e145...6f9ef2a
Loading