- From: Robin Berjon <robin@w3.org>
- Date: Thu, 13 Jun 2013 10:01:47 +0200
- 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 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