Processed: Re: Bug#648538: gnome: No new gnome-terminal if one is already open
Debian Bug Tracking System
owner at bugs.debian.org
Sat Nov 12 20:12:08 UTC 2011
Processing commands for control at bugs.debian.org:
> reassign 648538 gnome-shell
Bug #648538 [q] gnome: No new gnome-terminal if one is already open
Warning: Unknown package 'q'
Bug reassigned from package 'q' to 'gnome-shell'.
> severity 648538 normal
Bug #648538 [gnome-shell] gnome: No new gnome-terminal if one is already open
Severity set to 'normal' from 'important'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
648538: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=648538
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
More information about the pkg-gnome-maintainers
mailing list