Commit 20a0de95b4e0ae2fcb59a7da57f95b8ff01285b2

Nick Wellnhofer 2024-05-06T00:08:54

xmllint: Fix --pushsmall option This is only a debugging aid but also useful when fuzzing.