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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
