On Wed, Oct 10, 2018 at 12:50 AM Jeremy Bicha <jbicha@debian.org> wrote: > Please give back gnome-user-docs. There was an itstool update that > appears to have fixed the build problem. This has been done and the package built successfully. Thanks, Jeremy Bicha