Re: Fixes cherry picked this week

On 12/06/2013 19:20 , Travis Leithead wrote:
> The first three only apply to sections of the spec that are built
> exclusively for the Web Workers spec. Since our process doesn't
> include or build that document, I didn't think these pieces were
> necessary to port.

Yes, but everything we don't apply causes the documents to drift farther 
apart. This makes commits harder to merge over time, leads to really 
weird bugs on occasion, and makes things like finding differences a lot 
harder.

So section we absolutely don't care about should absolutely be merged :)

> The last one was specific to a WHATWG spec-effect -- a "security"
> graphical overlay had a bug that this checkin fixes. Our W3C spec
> doesn't support these spec "extras" AFAIK, so I also skipped that.

Isn't that a fix (or part of one) for this bug: 
https://www.w3.org/Bugs/Public/show_bug.cgi?id=22023 ?

-- 
Robin Berjon - http://berjon.com/ - @robinberjon

Received on Thursday, 13 June 2013 08:02:01 UTC