- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 20 Jun 2007 21:10:04 +0000
- To: public-sml@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=4650
popescu@ca.ibm.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
------- Comment #1 from popescu@ca.ibm.com 2007-06-20 21:10 -------
the fix has been checked into CVS
Received on Wednesday, 20 June 2007 21:10:06 UTC