[Bug 26258] New: "skip White_Space characters" is defined but not used anywhere

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

            Bug ID: 26258
           Summary: "skip White_Space characters" is defined but not used
                    anywhere
           Product: HTML WG
           Version: unspecified
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: HTML5 spec
          Assignee: dave.null@w3.org
          Reporter: botalov.andrey@gmail.com
        QA Contact: public-html-bugzilla@w3.org
                CC: mike@w3.org, public-html-admin@w3.org,
                    public-html-wg-issue-tracking@w3.org

Section 2.4.1 defines step "skip White_Space characters" but this step doesn't
seem to be used anywhere in the spec.

I think it should either be used or removed.

Applies to both HTML5 and HTML5.1 specs.

-- 
You are receiving this mail because:
You are on the CC list for the bug.

Received on Thursday, 3 July 2014 09:09:55 UTC