** Changed in: gnome-terminal
Status: Confirmed => Expired
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/883972
Title:
gnome-terminal-prefs documentation is outdated
S
** Changed in: gnome-terminal
Status: New => Confirmed
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/883972
Title:
gnome-terminal-prefs documentation is outdated
Statu
** 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 Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/883972
Tit
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
https://bugz
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) => gnome
5 matches
Mail list logo