** Changed in: gnome-terminal
Status: Confirmed = Expired
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/883972
Title:
gnome-terminal-prefs documentation is outdated
** Changed in: gnome-terminal
Status: New = Confirmed
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/883972
Title:
gnome-terminal-prefs documentation is outdated
To
** Changed in: gnome-terminal
Status: Unknown = New
** Changed in: gnome-terminal
Importance: Unknown = Low
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/883972
This bug is an upstream one and it would be quite helpful if somebody
experiencing it could send the bug the to the people writing the
software. You can learn more about how to do this at
https://wiki.ubuntu.com/Bugs/GNOME. Thanks in advance!
** Package changed: gnome-user-docs (Ubuntu) =
Forwarded to GNOME, see
https://bugzilla.gnome.org/show_bug.cgi?id=674364.
** Changed in: gnome-terminal (Ubuntu)
Importance: Undecided = Low
** Bug watch added: GNOME Bug Tracker #674364
https://bugzilla.gnome.org/show_bug.cgi?id=674364
** Also affects: gnome-terminal via