- From: <bugzilla@wiggum.w3.org>
- Date: Sat, 02 Feb 2008 00:34:06 +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|REOPENED |RESOLVED
Resolution| |FIXED
------- Comment #4 from kumarp@microsoft.com 2008-02-02 00:34 -------
The fix proposed in original bug text has been applied.
Received on Saturday, 2 February 2008 00:34:13 UTC