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

[Bug 5400] Clarification of deref() needed

From: <bugzilla@wiggum.w3.org>
Date: Wed, 13 Feb 2008 07:50:15 +0000
CC:
To: public-sml@w3.org
Message-Id: <E1JPCNj-0004XK-Gi@wiggum.w3.org>

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





------- Comment #5 from kumarp@microsoft.com  2008-02-13 07:50 -------
Made all of the changes suggested in comment# 4.
Received on Wednesday, 13 February 2008 07:50:31 UTC

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