debian/0.3.12+20171025-1

Raphaël Hertzog

@hertzog

9f7f4740 · Many small cleanups · Oct 30, 2017

gnome-shell-timer Debian release 0.3.12+20171025-1