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 Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
