587867 xmllint --html --xmlout serializing as HTML * xmllint.c: one option was needed after the switch to the new save API
2009-08-23T15:31:18