[Bug 4683] What should deref() return when there are multiple matches

From: <bugzilla@wiggum.w3.org>
Date: Sat, 20 Oct 2007 04:11:56 +0000
To: public-sml@w3.org
CC:
Message-Id: <E1Ij5gq-0003ma-E3@wiggum.w3.org>

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


kumarp@microsoft.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
           Keywords|editorial                   |
         Resolution|                            |FIXED

Received on Saturday, 20 October 2007 04:12:05 UTC