[Bug 12300] move precisionDecimal to a Note

http://www.w3.org/Bugs/Public/show_bug.cgi?id=12300

--- Comment #5 from Noah Mendelsohn <nrm@arcanedomain.com> 2011-05-04 19:48:26 UTC ---
MSM tells me he's fixed the encoding, and the file looks fine to me now. Thank
you.

-- 
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, 4 May 2011 19:48:29 UTC