tree cd797e789e2a2d24ca7a78dd587e9fbf90352c23
parent 99fc048d7f7292c5ee18e44c400bd73bc63a47ed
author Nick Wellnhofer <wellnhofer@aevum.de> 1597608124 +0200
committer Nick Wellnhofer <wellnhofer@aevum.de> 1597619859 +0200

Make "xmllint --push --recovery" work