Fedora 20 Update: mintmenu-5.5.8-1.fc20