W3C home > Mailing lists > Public > public-sml@w3.org > January 2008

[Bug 5400] Clarification of deref() needed

From: <bugzilla@wiggum.w3.org>
Date: Thu, 31 Jan 2008 20:19:27 +0000
CC:
To: public-sml@w3.org
Message-Id: <E1JKfsd-0005t3-Kz@wiggum.w3.org> 

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5400


popescu@ca.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |virginia.smith@hp.com




------- Comment #2 from popescu@ca.ibm.com  2008-01-31 20:19 -------
*** Bug 5411 has been marked as a duplicate of this bug. ***
Received on Thursday, 31 January 2008 20:19:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 31 January 2008 20:19:35 GMT