Override component to main
gnome-user-docs 3.24.0-0ubuntu2 in artful: universe/gnome -> main
gnome-user-guide 3.24.0-0ubuntu2 in artful amd64: universe/gnome/optional/100%
-> main
gnome-user-guide 3.24.0-0ubuntu2 in artful arm64: universe/gnome/optional/100%
-> main
gnome-user-guide 3.24.0-0ubuntu2 in artful armhf: universe/gnome/optional/100%
-> main
gnome-user-guide 3.24.0-0ubuntu2 in artful i386: universe/gnome/optional/100%
-> main
gnome-user-guide 3.24.0-0ubuntu2 in artful ppc64el:
universe/gnome/optional/100% -> main
gnome-user-guide 3.24.0-0ubuntu2 in artful s390x: universe/gnome/optional/100%
-> main
Override [y|N]? y
7 publications overridden.
** Changed in: gnome-user-docs (Ubuntu)
Status: Fix Committed => Fix Released
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-user-docs in Ubuntu.
https://bugs.launchpad.net/bugs/1687474
Title:
[MIR] gnome-user-docs
Status in gnome-user-docs package in Ubuntu:
Fix Released
Bug description:
This is an abbreviated MIR because gnome-user-docs used to be in main
(before MIR bugs). It also was basically in Ubuntu 11.04 in the
ubuntu-docs package shortly before 11.04 was released. Since then,
ubuntu-docs has diverged to be more useful to Unity users, but the
Ubuntu Docs Team periodically merged gnome-user-docs improvements.
The current idea for handling Ubuntu user documentation in 17.10 and
18.04 LTS is to ship gnome-user-docs and gnome-getting-started-docs.
Some pages may be left out of Ubuntu's gnome-user-docs package and
instead shipped in ubuntu-docs. ubuntu-docs will then supplement the
GNOME documentation.
This should be easier for docs writers and translators to work with
than trying to patch gnome-user-docs or forking gnome-user-docs
entirely.
Maintenance
===========
Historically maintained by the Debian GNOME team, but will now be maintained
by the Ubuntu Docs team.
Security
========
There should be no security concern here as the package just provides Mallard
help files. Mallard is an XML format for help. http://projectmallard.org/
QA
==
Bug subscriber: Ubuntu Desktop Packages and ~ubuntu-core-doc
https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs
https://bugs.debian.org/cgi-bin/pkgreport.cgi?src=gnome-user-docs
https://bugzilla.gnome.org/buglist.cgi?quicksearch=product%3A"gnome-user-docs";
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs/+bug/1687474/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
