- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 25 Oct 2007 18:56:36 +0000
- To: public-sml@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5134
pratul.dublish@microsoft.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |DUPLICATE
------- Comment #1 from pratul.dublish@microsoft.com 2007-10-25 18:56 -------
*** This bug has been marked as a duplicate of bug 4746 ***
Received on Thursday, 25 October 2007 18:56:43 UTC