[Bug 5400] Clarification of deref() needed

From: <bugzilla@wiggum.w3.org>
Date: Thu, 14 Feb 2008 20:28:12 +0000
To: public-sml@w3.org
CC:
Message-Id: <E1JPkgm-0004dn-VW@wiggum.w3.org>

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


virginia.smith@hp.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
           Keywords|needsReview                 |resolved
         Resolution|                            |FIXED

Received on Thursday, 14 February 2008 20:28:17 UTC