]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'POINTER_LOCATION' into 'master'
authorDimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Sun, 18 Jul 2021 21:09:05 +0000 (21:09 +0000)
committerDimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Sun, 18 Jul 2021 21:09:05 +0000 (21:09 +0000)
Fix Linux kernel coding style error

See merge request openconnect/openconnect!233


Trivial merge