]> www.infradead.org Git - users/dwmw2/openconnect.git/commit
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)
commit0314fa6401aa130b13572b6f5b0b6a5798f6982f
treea38d3a7b444bed4c1f33161b254bd2f7682aba7b
parent6e2118b8a0f9fa4e15426bf3bc9fd34ec26379a6
parent8a884230e02c7d8eca4773363b7aef65cc12e8e7
Merge branch 'man' into 'master'

Consistency in man page

See merge request openconnect/openconnect!350