https://wiki.gnome.org/Apps/Terminal/ReportingBugs
"If you're a developer of GNOME Terminal, VTE, or GNOME in general, you can file the bug in GNOME's bugzilla. In all other cases, you should file the bug against your Linux distribution's bug tracker; see here for a list of distribution bug trackers. The distribution bug triagers will then gather all the necessary information and confirmation before forwarding the bug to our bugzilla, if necessary." https://bugzilla.gnome.org/show_bug.cgi?id=741364#c2 "Bug wasn't ripe for upstreaming; it's missing a backtrace, for example. See https://wiki.gnome.org/Apps/Terminal/ReportingBugs for more information." I see, that you reported this as downstream issue but I am afraid that due to above reason they won't care about that report. They ask for debug packages and strackstrace, but I cannot provide that. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1401192 Title: gnome-terminal crashes on editing preferences To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1401192/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
