On 27/02/2019 15:43, Michael Haubenwallner wrote:
this is the followup patch proposal to https://mail.gnome.org/archives/xml/2018-September/msg00002.html
Thanks, applied here: https://gitlab.gnome.org/GNOME/libxml2/commit/cf68fe3d505dd3f7525ccc28c90f87432a747aa4 Nick _______________________________________________ xml mailing list, project page http://xmlsoft.org/ xml@gnome.org https://mail.gnome.org/mailman/listinfo/xml