]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'main' into 'master'
authorDimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Wed, 31 Jan 2024 08:59:26 +0000 (08:59 +0000)
committerDimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Wed, 31 Jan 2024 08:59:26 +0000 (08:59 +0000)
main() signature compliant with C standard

See merge request openconnect/openconnect!516


Trivial merge