Processed: Re: Bug#307359: ITA: multi-gnome-terminal -- Enhanced the GNOME Terminal
Processing commands for control@bugs.debian.org:
> retitle 307359 RFA: multi-gnome-terminal -- Enhanced the GNOME Terminal
Bug#307359: ITA: multi-gnome-terminal -- Enhanced the GNOME Terminal
Changed Bug title.
> noowner 307359
Bug#307359: RFA: multi-gnome-terminal -- Enhanced the GNOME Terminal
Removed annotation that Bug was owned by Pedro Silva <goretoxo@gmail.com>.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: