> 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