Commit d0eb5a7e542ab13651be6349fb5ad952192a2e7c

Nick Wellnhofer 2024-01-03T18:12:29

parser: Remove xmlErrEncodingInt Convert the last user to xmlFatalErr.