[Bug 5524] Rename section 4.4.1.1

From: <bugzilla@farnsworth.w3.org>
Date: Thu, 29 May 2008 18:35:00 +0000
To: public-sml@w3.org
CC:
Message-Id: <E1K1mxo-0000s0-NP@farnsworth.w3.org>

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


pratul.dublish@microsoft.com changed:

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

Received on Thursday, 29 May 2008 18:35:36 UTC