** Package changed: ubuntu => gnome-panel (Ubuntu) -- 'auto hide' option and 'colour change' option of the top panel not working properly . https://bugs.launchpad.net/bugs/411434 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-panel in ubuntu.
-- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
