]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'libxml/parser' into 'master'
authorDimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Sat, 6 Jan 2024 20:16:42 +0000 (20:16 +0000)
committerDimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Sat, 6 Jan 2024 20:16:42 +0000 (20:16 +0000)
Include <libxml/tree.h> from a single place

See merge request openconnect/openconnect!507


Trivial merge