[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Please give back gnome-user-docs

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.

Jeremy Bicha

Reply to: