GNOME Bugzilla – Bug 729206
Can't change terminal title
Last modified: 2014-04-29 17:44:56 UTC
After attempt to change terminal title, title remains the same.
*** This bug has been marked as a duplicate of bug 720693 ***