debian/0.3.12+20140924-2

Raphaël Hertzog

@hertzog

d206f8ff · Prepare for release · Jun 23, 2015

gnome-shell-timer Debian release 0.3.12+20140924-2