- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 09 Jul 2008 14:31:56 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5671
Oliver Hallam <oliver@cbcl.co.uk> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |CLOSED
--- Comment #8 from Oliver Hallam <oliver@cbcl.co.uk> 2008-07-09 14:31:56 ---
I am marking this bug closed.
However this solution does have ramifications for formal semantics, and the
typing rules should be updated (which are broken anyway - see bug #5459)
--
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Wednesday, 9 July 2008 14:32:32 UTC