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

[Bug 26075] Identifiers production duplicated

From: <bugzilla@jessica.w3.org>
Date: Tue, 29 Jul 2014 05:36:47 +0000
To: public-script-coord@w3.org
Message-ID: <bug-26075-3890-kExYmZ1aNq@http.www.w3.org/Bugs/Public/>
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

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