[Bug 5524] Rename section 4.4.1.1

From: <bugzilla@farnsworth.w3.org>
Date: Thu, 15 May 2008 19:09:07 +0000
To: public-sml@w3.org
CC:
Message-Id: <E1Jwip9-00080U-Dy@farnsworth.w3.org>

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


kumarp@microsoft.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |decided

Received on Thursday, 15 May 2008 19:09:43 UTC