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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 13 February 2008 07:50:32 GMT