On Sun, 2009-07-05 at 12:12 +0100, John Talbut wrote: > Can this bug be reopened or should I open a new one?
What problem are you having, exactly? I believe you may be hitting a specific issue in gnome-terminal, so take a look at the bug list for gnome-terminal before reopening this one, I guess. Thanks, -- Gustavo Noronha <k...@debian.org> Debian Project -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org