Merge pull request #2864 from jimis/libxml2_configure_fix
authorRuben Kerkhof <ruben@rubenkerkhof.com>
Wed, 29 Aug 2018 07:55:27 +0000 (09:55 +0200)
committerGitHub <noreply@github.com>
Wed, 29 Aug 2018 07:55:27 +0000 (09:55 +0200)
Add --with-libxml2 option to configure.


Trivial merge