I guess that's a pro forma comment because there's sufficient information here, it's just neither you nor I have the time to raise it upstream. Closing this bug means anyone looking to help out won't pop along and raise it upstream for us.
-- gnome-terminal is Always 80x24. No global or per-profile setting available. https://bugs.launchpad.net/bugs/217167 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
