The gnome bugzilla had problems today, that's fine now -- Applications menu "lags" to refresh cache after installing new application https://launchpad.net/bugs/24669
-- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
