So upstream has marked the bug as obsolete, since GNOME 3 has dropped gnome-appearance-properties. Do we want to apply the patch in Ubuntu? Or is Ubuntu also dropping gnome-appearance-properties with the move to unity? Either way, I'm sure Debian would be interested in this bug, since they have a strict "no missing man pages policy."
-- Manual page is missing for gnome-appearance-properties https://bugs.launchpad.net/bugs/426644 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
