[Bug 26075] Identifiers production duplicated

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

Cameron McCormack <cam@mcc.id.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #1 from Cameron McCormack <cam@mcc.id.au> ---
Thanks, fixed.

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

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

Received on Tuesday, 29 July 2014 05:36:50 UTC