-
Mark Andrews authored
xmllint doesn't know about the HTML 5 <section> tag so filter those out. (cherry picked from commit ea0624b2)
80bc1b47
xmllint doesn't know about the HTML 5 <section> tag so filter those out. (cherry picked from commit ea0624b2)