[Bug 12572] pointer to precisionDecimal

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

C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|decided                     |resolved
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #4 from C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> 2011-06-02 19:44:41 UTC ---
The proposal adopted on 6 May (as amended) has now been integrated into the
status-quo documents, so I'm marking this issue resolved.

Dave, if as the originator you would check that the fix has taken and then
close or reopen this issue?  Thanks.

-- 
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 Thursday, 2 June 2011 19:44:43 UTC