Commit 922bebccdd7edbbdc93287e58bc46d5323eb7652

Nick Wellnhofer 2020-07-15T14:20:42

Make 'xmllint --html --push -' read from stdin