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-terminal (Ubuntu)

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/883972

Title:
  gnome-terminal-prefs documentation is outdated

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/883972/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to