forwarded 946331 https://gitlab.gnome.org/GNOME/gtk-doc/merge_requests/37 thanks I've forwarded this upstream here: https://gitlab.gnome.org/GNOME/gtk-doc/merge_requests/37 Regards, -- ,''`. : :' : Chris Lamb `. `'` lamby at debian.org / chris-lamb.co.uk `-