W3C home > Mailing lists > Public > public-html-bugzilla@w3.org > August 2011

[Bug 12627] Rename "real numbers" section to "floating-point numbers"

From: <bugzilla@jessica.w3.org>
Date: Wed, 03 Aug 2011 00:13:09 +0000
To: public-html-bugzilla@w3.org
Message-Id: <E1QoP5B-0000DF-2d@jessica.w3.org>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=12627

--- Comment #2 from contributor@whatwg.org 2011-08-03 00:13:08 UTC ---
Checked in as WHATWG revision r6356.
Check-in comment: consistency
http://html5.org/tools/web-apps-tracker?from=6355&to=6356

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Wednesday, 3 August 2011 00:13:12 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 16:31:15 UTC