]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'man' into 'master'
authorDavid Woodhouse <dwmw2@infradead.org>
Sun, 10 Apr 2022 13:51:09 +0000 (13:51 +0000)
committerDavid Woodhouse <dwmw2@infradead.org>
Sun, 10 Apr 2022 13:51:09 +0000 (13:51 +0000)
Consistency in man page

See merge request openconnect/openconnect!350


Trivial merge