[Bug 637130] After zypper dup, GNOME main-menu disappears