[Bug 4825] How should deref() handle reference elements with multiple child elements. from bugzilla@wiggum.w3.org on 2007-07-18 (public-sml@w3.org from July 2007)

From: <bugzilla@wiggum.w3.org>
Date: Wed, 18 Jul 2007 23:36:54 +0000
To: public-sml@w3.org
CC:
Message-Id: <E1IBJ4g-0007qo-6O@wiggum.w3.org>

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


virginia.smith@hp.com changed:

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




------- Comment #1 from virginia.smith@hp.com  2007-07-18 23:36 -------


*** This bug has been marked as a duplicate of bug 4658 ***

Received on Wednesday, 18 July 2007 23:36:55 UTC