codito/gnome-shell-pomodoro — Issue #35: Not working on gnome 3.3
Author: gus4no
Created: 2011-11-23 22:05:15+00:00
State: open

The extension stopped working after gnome shell upgrade!