On 2011-07-10, at 18:21, Adam Barth wrote: > On Sun, Jul 10, 2011 at 6:20 PM, Mark Rowe <[email protected]> wrote: >> On 2011-07-10, at 17:54, Adam Barth wrote: >>> Yes. As I said before: >>> >>> On Sun, Jul 10, 2011 at 3:23 PM, Adam Barth <[email protected]> wrote: >>>> Being a tree is a global property, not a local property. There are >>>> two edges emanating from "win". In order for the graph to be a tree >>>> one of them must be removed. Neither one, in isolation, makes the >>>> graph not a tree. >> >> Great. Then I'd suggest we fix the Chromium Windows fallback path since >> there are reasons not to change the regular Windows fallback path. > > Ok. Thanks for taking the time to understand the issue.
Hopefully you'll remember this exchange in the future when you're about to send out mysterious, unlabeled diagrams :) - Mark _______________________________________________ webkit-dev mailing list [email protected] http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
