[Bug 10134] $err:description should be optional

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


Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED




--- Comment #1 from Michael Kay <mike@saxonica.com>  2010-07-16 16:40:09 ---
Agreed, this needs to be fixed. (Not formally discussed by the WG, but
discussed by some WG members after the close of the meeting).

-- 
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 Friday, 16 July 2010 16:40:11 UTC