Well, since it's in "proposed", which I guess means waiting for feedback, and is not an urgent update at all, my feedback was maybe you should hold it off and release along with that other fix to save an update for users :-) Anyway, filed that as bug 1771290, rest is up to you. Thanks a lot! :-)
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1747171 Title: "New Tab" disappeared from the GNOME Terminal menu To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1747171/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
