Denis Washington wrote:
> On Sun, 2008-02-10 at 14:42 +0000, Ioannis Nousias wrote:
>> ok, I followed your advice and filed a report for gnome-terminal (which
>> also exhibits the same issue).
>> for your records:
> It would be the best to file these bugs upstream, that is, on
> bugzilla.gnome.org in this case. That way the developers which are
> actually maintaining the app will noctice them.
(merely a copy-paste of the previous one)
Ubuntu-devel-discuss mailing list
Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss