W3C home > Mailing lists > Public > public-sml@w3.org > July 2007

[Bug 4825] How should deref() handle reference elements with multiple child elements.

From: <bugzilla@wiggum.w3.org>
Date: Wed, 18 Jul 2007 23:36:54 +0000
CC:
To: public-sml@w3.org
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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:56:04 UTC