]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'ooops' into 'master'
authorDimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Mon, 19 Jul 2021 11:45:00 +0000 (11:45 +0000)
committerDimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Mon, 19 Jul 2021 11:45:00 +0000 (11:45 +0000)
Fix typo from previous merge request

See merge request openconnect/openconnect!254


Trivial merge