** Bug watch added: GNOME Bug Tracker #333157 http://bugzilla.gnome.org/show_bug.cgi?id=333157
** Also affects: vte (upstream) via http://bugzilla.gnome.org/show_bug.cgi?id=333157 Severity: Unknown Priority: Unknown Status: Unknown -- Bold fonts do the mambo https://launchpad.net/bugs/33144 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs