This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 26075 - Identifiers production duplicated
Summary: Identifiers production duplicated
Status: RESOLVED FIXED
Alias: None
Product: WebAppsWG
Classification: Unclassified
Component: WebIDL (show other bugs)
Version: unspecified
Hardware: PC Linux
: P2 normal
Target Milestone: ---
Assignee: Cameron McCormack
QA Contact: public-webapps-bugzilla
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-06-12 11:28 UTC by Jens Widell
Modified: 2014-07-29 05:36 UTC (History)
2 users (show)

See Also:

Attachments

Description Jens Widell 2014-06-12 11:28:19 UTC 
The grammar has it as both [37] and [90] (identical definitions.)

http://heycam.github.io/webidl/#proddef-Identifiers
Comment 1 Cameron McCormack 2014-07-29 05:36:47 UTC 
Thanks, fixed.

https://github.com/heycam/webidl/commit/4e2c9d9bd8e9050051d4a23bcdef036ff1559da3