[webkit-gtk] [RFC] New API: support user content filters in WebKitUserContentManager

[Michael Catanzaro]

On Mon, 2016-02-22 at 19:16 +0200, Adrián Pérez de Castro wrote:
> Looking in the WebKit Bugzilla, I couldn't find those bugs. Do you
> have a
> link at hand, or were them in the GNOME Bugzilla and maybe I should
> just open
> a new bug in the WebKit one to track this?

https://bugzilla.gnome.org/show_bug.cgi?id=757824

Thanks for working on this Adrian!

Michael