Fedora 17 Update: gnome-menus-3.4.2-1.fc17