Control: retitle -1 RFP: gnome-shell-extension-teatime - tea brewing timer extension for GNOME Shell Control: noowner -1 Hi, the initial RFP submitter is happy with gnome-shell-timer, so I won't package gnome-shell-extension-teatime. Cheers, -- intrigeri | GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc | OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc