[Bug 5400] Clarification of deref() needed

From: <bugzilla@wiggum.w3.org>
Date: Wed, 13 Feb 2008 07:50:15 +0000
To: public-sml@w3.org
CC:
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