Merge pull request #22608 from keszybz/doc-cleanups
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 23 Feb 2022 08:11:07 +0000 (09:11 +0100)
committerGitHub <noreply@github.com>
Wed, 23 Feb 2022 08:11:07 +0000 (09:11 +0100)
commit1810976ba9a7b702bcfd961a88f232ef3cb2fba1
treee8bd3a90c3db025b03d2bc46e8aa3fb2b141d931
parent5bb309722df7d7d6bbca641b1c181ffaa1d690c6
parentfe003f02dd19b9ae88af0384e5cf4f5934d1e9db
Merge pull request #22608 from keszybz/doc-cleanups

Man page cleanups