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)
libxml2: update to 2.9.12


Trivial merge
git clone https://git.99rst.org/PROJECT