- From: <bugzilla@wiggum.w3.org>
- Date: Fri, 25 Jan 2008 01:25:27 +0000
- To: public-sml@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5415
kumarp@microsoft.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
------- Comment #1 from kumarp@microsoft.com 2008-01-25 01:25 -------
fixed as suggested.
Received on Friday, 25 January 2008 01:25:35 UTC