Merge pull request #18070 from mhei/libxml2-update
authorMichael Heimpold <mhei@heimpold.de>
Thu, 17 Mar 2022 07:02:48 +0000 (08:02 +0100)
committerGitHub <noreply@github.com>
Thu, 17 Mar 2022 07:02:48 +0000 (08:02 +0100)
libxml2: update to 2.9.13


Trivial merge