Processed: gnome-terminal: bad behaviour when changing font and
then resizing
Debian Bug Tracking System
owner at bugs.debian.org
Sun Aug 7 14:03:22 UTC 2005
Processing commands for control at bugs.debian.org:
> tag #316875 +unreproducible
Bug#316875: gnome-terminal: bad behaviour when changing font and then resizing
There were no tags set.
Tags added: unreproducible
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
More information about the Pkg-gnome-maintainers
mailing list