- From: <bugzilla@wiggum.w3.org>
- Date: Fri, 01 Sep 2006 22:40:39 +0000
- To: www-xml-schema-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=3030 cmsmcq@w3.org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Keywords| |resolved Resolution| |FIXED ------- Comment #1 from cmsmcq@w3.org 2006-09-01 22:40 ------- Thank you for the comment. You are right, decimal would be better here than precision decimal. We are uncertain whether this was a momentary lapse in judgment or a global search and replace gone wrong. Either way, it has now been repaired in the master copy of the working draft.
Received on Friday, 1 September 2006 22:40:56 UTC