Control: retitle -1 libxml2-utils: xmllint doesn't always terminate with a non-zero exit status in case of error (bad usage, etc.)
This has recently been mentioned in the XML list: https://mail.gnome.org/archives/xml/2021-June/msg00000.html https://mail.gnome.org/archives/xml/2021-June/msg00001.html -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
