Commit 247cfa27ccaa50421b4e127dd6ea13aa5fe59549

Nick Wellnhofer 2022-02-01T16:21:10

Fix parsing of xmllint --maxmem option Fixes #195.