Fedora 18 Update: gnome-shell-extension-pomodoro-0.7-1.fc18