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

[Bug 5411] Clarification of deref() rules

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

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


popescu@ca.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |DUPLICATE




------- Comment #1 from popescu@ca.ibm.com  2008-01-31 20:19 -------
returned as dup of 5400 as per 01/31 meeting

*** This bug has been marked as a duplicate of bug 5400 ***
Received on Thursday, 31 January 2008 20:19:32 GMT

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