On Wed, Oct 10, 2018 at 12:50 AM Jeremy Bicha <[email protected]> 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
