- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 25 Oct 2007 13:18:55 +0000
- To: public-sml@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5133 ------- Comment #2 from johnarwe@us.ibm.com 2007-10-25 13:18 ------- I think this should remain in its current state. As you point out, once we decide on the new scheme (4636, which 5133 is dependent upon) then we will deal with this one. 5133 will prompt us to have the right discussion at the right time (when 4636 is fixed).
Received on Thursday, 25 October 2007 13:19:03 UTC