Commit 86401cc3d293d6ea3c4552885e3cadcd952021d1
2025-01-07T19:01:57
xmllint: Make --shell ignore some other options When the shell should be launched with the --shell option, don't post-validate, stream or dump the document. Ignore the --repeat option.