Public bug reported: Binary package hint: gnome-disk-utility
Developer manual should be in a separate package. It pollutes DevHelp search results with irrelevant information. ** Affects: gnome-disk-utility (Ubuntu) Importance: Undecided Status: New -- developer manual should be in a separate package https://bugs.launchpad.net/bugs/517698 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs