On 11/19/13, 8:00 AM, Peter Molnar wrote: > I'm planning to remove this flag, as all ports seem to have it on by > default: > https://bugs.webkit.org/show_bug.cgi?id=105784
Sounds like a good idea. :) Benjamin _______________________________________________ webkit-dev mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-dev
