Ticket closed. Ubuntu 20.04 has no more package gnome-doc-utils in its repos!
Thanks, Maurizio ___________________________________________________________________________ darktable developer mailing list to unsubscribe send a mail to [email protected]
