Bug#395462: Problem is back
Gustavo Noronha
kov at debian.org
Mon Jul 6 11:09:14 UTC 2009
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 <kov at debian.org>
Debian Project
More information about the pkg-gnome-maintainers
mailing list