Processed: Re: Bug#725309: RFP: teatimer - A tea brewing timer
Processing control commands:
> retitle -1 RFP: gnome-shell-extension-teatime - tea brewing timer extension for GNOME Shell
Bug #725309 [wnpp] ITP: gnome-shell-extension-teatime - tea brewing timer extension for GNOME Shell
Changed Bug title to 'RFP: gnome-shell-extension-teatime - tea brewing timer extension for GNOME Shell' from 'ITP: gnome-shell-extension-teatime - tea brewing timer extension for GNOME Shell'
> noowner -1
Bug #725309 [wnpp] RFP: gnome-shell-extension-teatime - tea brewing timer extension for GNOME Shell
Removed annotation that Bug was owned by intrigeri@debian.org.
--
725309: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=725309
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: