'kay, I merged it. I dropped your changes in favour of using Debian's
way of installing (into gnome-terminal instead of -data for some reason;
take that up there if you want to). Waiting for Lars to figure out an
issue with colours before we can upload this-it's also the bump to 3.14.
** Changed in: gnome-terminal (Ubuntu)
Status: In Progress => Fix Committed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1390224
Title:
Enable gnome-shell search provider
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-gnome/+bug/1390224/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
