]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'xmlstarlet' into 'master'
authorDimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Mon, 5 Feb 2024 07:42:16 +0000 (07:42 +0000)
committerDimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Mon, 5 Feb 2024 07:42:16 +0000 (07:42 +0000)
Force final newline in xmlstarlet

See merge request openconnect/openconnect!535


Trivial merge