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