[bug 5214] change un-numbered bulleted lists to numbered lists from Kumar Pandit on 2007-10-19 (public-sml@w3.org from October 2007)

From: Kumar Pandit <kumarp@windows.microsoft.com>
Date: Fri, 19 Oct 2007 13:40:26 -0700
To: "public-sml@w3.org" <public-sml@w3.org>
Message-ID: <D95F90884B51CF4F83E887862D5D3708D099A75F98@NA-EXMSG-W601.wingroup.windeploy.ntd>

We have discussed this a few times and informally agreed that we should use numbered lists instead of un-numbered ones. I have opened bug 5214 for this and taken the liberty to mark it editorial. I will go ahead and make this change if I do not hear any objection.

Received on Friday, 19 October 2007 20:47:23 UTC