fmancinelli/gnomodoro — pull request #2 by sthesing (2013-05-07 10:21:25+00:00)
Title: Modified metadata.json so Gnome Shell 3.8 is supported

It's a trivial change, but maybe you still want to use it :-)