- From: <bugzilla@jessica.w3.org>
- Date: Thu, 09 Jan 2014 01:15:14 +0000
- To: public-script-coord@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=24241 Marcos Caceres <w3c@marcosc.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |w3c@marcosc.com --- Comment #2 from Marcos Caceres <w3c@marcosc.com> --- Maybe we should just add a new "number" type that represents ES numbers (and deprecate all the other ones that don't make sense in JS - and are used wrongly in a lot of specs). EnforceRange is not really used anywhere in the platform, AFAIK - so should probably be deprecated also. -- You are receiving this mail because: You are on the CC list for the bug.
Received on Thursday, 9 January 2014 01:15:15 UTC