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 _______________________________________________ webkit-gtk mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-gtk
