Fedora 17 Update: gedit-plugins-3.4.0-2.fc17