Your message dated Sun, 04 Feb 2018 12:45:29 +0000
with message-id <>
and subject line Bug#889022: fixed
has caused the Debian Bug report #889022,
regarding override: gnome-doc-utils:oldlibs/optional
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact

Debian Bug Tracking System
Contact with problems
--- Begin Message ---
Severity: normal

gnome-doc-utils is unmaintained upstream (latest release 2012 and
superseded by yelp-tools, see #889019), but cannot be removed from Debian
(yet) because many GNOME-2-era packages still use it. Please move it
to oldlibs.

I'll prepare an upload at some point with the Description changed to
indicate its deprecation.


--- End Message ---
--- Begin Message ---
We believe that the bug you reported is now fixed; the following
changes were made to the overrides...

Concerning package gnome-doc-utils...
Operating on the unstable suite
Changed section from gnome to oldlibs

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to

This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing

Debian distribution maintenance software
Luca Falavigna (the ftpmaster behind the curtain)

--- End Message ---

Reply via email to