Public bug reported:
We ended up not having time for this for Ubuntu 17.10.
The gnome-terminal developer released a 3.25.1 early and then didn't
release another build until just before 3.26.0.
We'll need to do a bit of work to update vte with our pcre2 revert
patches.
** Affects: gnome-terminal (Ubuntu)
Importance: Wishlist
Status: Triaged
** Affects: vte2.91 (Ubuntu)
Importance: Wishlist
Status: Triaged
** Tags: upgrade-software-version
** Also affects: vte2.91 (Ubuntu)
Importance: Undecided
Status: New
** Changed in: vte2.91 (Ubuntu)
Importance: Undecided => Wishlist
** Changed in: vte2.91 (Ubuntu)
Status: New => Triaged
--
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/1721412
Title:
Update gnome-terminal to 3.26.1
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1721412/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
