** Summary changed: - Unable to set gnome-terminal title from menu in 15.04, 15.10, 16.04 LTS, 16.10 + Unable to set gnome-terminal title from menu in 15.04, 15.10, 16.04 LTS, 16.10, 17.04, 17.10
** Tags added: artful zesty -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1448511 Title: Unable to set gnome-terminal title from menu in 15.04, 15.10, 16.04 LTS, 16.10, 17.04, 17.10 To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1448511/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
