5b0e48b6

Created Started Cancelled

Make lint-xml slightly more robust (#1713)

Detect failures on piped commands and enusre public/ is a dir
GitHub