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

[Bug 22888] 4.2.{14,15}: "has the same numeric value"

From: <bugzilla@jessica.w3.org>
Date: Fri, 28 Jul 2017 22:27:24 +0000
To: public-script-coord@w3.org
Message-ID: <bug-22888-3890-ThSefto2N8@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=22888

Tobie Langel <tobie.langel@gmail.com> changed:

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

--- Comment #2 from Tobie Langel <tobie.langel@gmail.com> ---
Fixed in https://github.com/heycam/webidl/commit/79cfa44.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
Received on Friday, 28 July 2017 22:27:43 UTC

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