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

The extension stopped working after gnome shell upgrade!