[Bug 24705] Revert deletion of table@border in commit 5f540174f5fde713e45b72c81e530fb5d964d2df

https://www.w3.org/Bugs/Public/show_bug.cgi?id=24705

Erika Doyle Navara <erika.doyle@microsoft.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |erika.doyle@microsoft.com
         Resolution|---                         |FIXED

--- Comment #3 from Erika Doyle Navara <erika.doyle@microsoft.com> ---
EDITOR'S RESPONSE: This is an Editor's Response to your comment. If you are
satisfied with this response, please change the state of this bug to CLOSED. If
you have additional information and would like the Editor to reconsider, please
reopen this bug. If you would like to escalate the issue to the full HTML
Working Group, please add the TrackerRequest keyword to this bug, and suggest
title and text for the Tracker Issue; or you may create a Tracker Issue
yourself, if you are able to do so. For more details, see this document:


   http://dev.w3.org/html5/decision-policy/decision-policy.html

Status: Accepted
Change Description: Corrected a partial accidental deletion of the border
definition caused by some recent editorial spec refactoring [1], and
cherry-picked it into the CR branch.

    master:
https://github.com/w3c/html/commit/ba951a06fd8eacad106afb24de35098d1a25b6c3
    CR:
https://github.com/w3c/html/commit/ef86132cb20d5826db9708763bc32d95dc53785a

Rationale: 
Even if the border attribute becomes obsolete/invalid for 5.1 (per Bug 23591),
this change at least keeps the spec internally consistent for the time being,
and honors the current WG decision for 5.0.

[1] https://github.com/w3c/html/commit/5f540174f5fde713e45b72c81e530fb5d964d2df

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Tuesday, 25 February 2014 01:14:40 UTC