Commit d12be00da8b67bea013524cabad82cee62423a1a
2022-02-04T14:13:59
Don't ignore xmllint options after "-" There's no reason to ignore options after "-". This was probably confused with the "--" mechanism which xmllint doesn't implement. Fixes #290.