[Bug 26075] New: Identifiers production duplicated

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

            Bug ID: 26075
           Summary: Identifiers production duplicated
           Product: WebAppsWG
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: WebIDL
          Assignee: cam@mcc.id.au
          Reporter: jl@opera.com
        QA Contact: public-webapps-bugzilla@w3.org
                CC: mike@w3.org, public-script-coord@w3.org

The grammar has it as both [37] and [90] (identical definitions.)

http://heycam.github.io/webidl/#proddef-Identifiers

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

Received on Thursday, 12 June 2014 11:28:22 UTC