codito/gnome-shell-pomodoro — pull request #93 by haaja (2013-04-22 10:49:29+00:00)
Title: Support for GNOME 3.8

Fixes #92