Processing commands for cont...@bugs.debian.org: > retitle 725309 ITP: gnome-shell-extension-teatime - tea brewing timer > extension for GNOME Shell Bug #725309 [wnpp] ITP: teatimer - A tea brewing timer Changed Bug title to 'ITP: gnome-shell-extension-teatime - tea brewing timer extension for GNOME Shell' from 'ITP: teatimer - A tea brewing timer' > thanks Stopping processing here.
Please contact me if you need assistance. -- 725309: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=725309 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/handler.s.c.13824521026110.transcr...@bugs.debian.org
