Summary of changes: 488eaae... Revert a menu rebuilding optimization (*) dfdf84e... Backport upstream fix for the previous issue 1902eac... Drop gnome-icon-theme dependency on F21+ (*) This commit already existed in another branch; no separate mail sent