- From: <bugzilla@farnsworth.w3.org>
- Date: Thu, 17 Apr 2008 19:35:07 +0000
- To: public-sml@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5475
kumarp@microsoft.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Keywords|needsReview |resolved
Resolution| |FIXED
------- Comment #3 from kumarp@microsoft.com 2008-04-17 19:35 -------
resolution (conf call on 4/17/2008): resolve as fixed. The WG reviewed and
agreed with the list of names.
Received on Thursday, 17 April 2008 19:35:36 UTC