> So is this a request to separate the WebKitWebSettings change and make a
> formal request to merge both changes back into the stable branch?

Yeah, I think that's the best way to go.

--Martin
_______________________________________________
webkit-gtk mailing list
webkit-gtk@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-gtk

Reply via email to