Processed: retitle 725309 to ITP: gnome-shell-extension-teatime - tea brewing timer extension for GNOME Shell

To: intrigeri <intrigeri@debian.org>
Cc: wnpp@debian.org, intrigeri@debian.org
Subject: Processed: retitle 725309 to ITP: gnome-shell-extension-teatime - tea brewing timer extension for GNOME Shell
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 22 Oct 2013 14:33:09 +0000
Message-id: <[🔎] handler.s.C.13824521026110.transcript@bugs.debian.org>
References: <1382452084-3051-bts-intrigeri@debian.org>

Processing commands for control@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 owner@bugs.debian.org with problems

Reply to:

Prev by Date: Processed: retitle 725309 to ITP: teatimer - A tea brewing timer, owner 725309
Next by Date: Bug#725309: RFP: teatimer - A tea brewing timer
Previous by thread: Processed: retitle 725309 to ITP: teatimer - A tea brewing timer, owner 725309
Next by thread: Bug#640777: O: ispell-fi
Index(es):
- Date
- Thread