Bumped the version in the title – now that 3.12 is out, it wouldn't make much sense to update to 3.8 or 3.10.
There's at least one more reason to update to at least 3.12, namely the "rewrap on resize" UI setting, see bug 1319864. ** Summary changed: - Update GNOME Terminal to 3.10.2 + Update GNOME Terminal to 3.12 -- 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/1261619 Title: Update GNOME Terminal to 3.12 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1261619/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
