W3C home > Mailing lists > Public > public-html@w3.org > June 2013

Re: Fixes cherry picked this week

From: Robin Berjon <robin@w3.org>
Date: Thu, 13 Jun 2013 10:01:47 +0200
Message-ID: <51B97C6B.7060308@w3.org>
To: Travis Leithead <travis.leithead@microsoft.com>
CC: Silvia Pfeiffer <silviapfeiffer1@gmail.com>, "public-html@w3.org" <public-html@w3.org>
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 

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

This archive was generated by hypermail 2.3.1 : Thursday, 29 October 2015 10:16:33 UTC