W3C home > Mailing lists > Public > public-script-coord@w3.org > April to June 2014

[Bug 26075] New: Identifiers production duplicated

From: <bugzilla@jessica.w3.org>
Date: Thu, 12 Jun 2014 11:28:19 +0000
To: public-script-coord@w3.org
Message-ID: <bug-26075-3890@http.www.w3.org/Bugs/Public/>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:14:21 UTC