Merge pull request #15678 from mhei/libxml-update
authorMichael Heimpold <redacted>
Fri, 21 May 2021 21:07:44 +0000 (23:07 +0200)
committerGitHub <redacted>
Fri, 21 May 2021 21:07:44 +0000 (23:07 +0200)
commit791892d482c2255c8681b51bb0b78aa06d48f0e0
tree1fdbce703202996dfd642baf4f78dd189412f611
parentb8f9e4354efd7f722a28eb45cec429a22a0d7a9d
parent6b932d3ff77c63fe01080139c147c86da12f0c88
Merge pull request #15678 from mhei/libxml-update

libxml2: update to 2.9.12
git clone https://git.99rst.org/PROJECT