Commit be812e1e5a60ed910a86e0a36ee50171616d5014

Michael Mann 2025-06-20T19:34:12

xmllint: Rename options -> parseOptions Make it more obvious the options are related to XML parsing