How about another angle, we drop the ancient webkit2gtk build from webkitgtk source (since both are built from the same source package, but are essentially independent builds) and add webkit2gtk to main (which doesnt include webkit1 at all)? thats gotta be better than the current situation, and the transition from webkit2gtk-3.0 to -4.0 should be easy. Sure you end up with two copies of webkit2gtk source, but only one set of binaries!
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1466290 Title: Update to 3.16 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-online-accounts/+bug/1466290/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs