- From: <bugzilla@jessica.w3.org>
- Date: Tue, 14 May 2013 18:04:05 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=21717
--- Comment #2 from Christian Gruen <christian.gruen@gmail.com> ---
Thanks for the removal.
I believe that it still needs to be clarified what is going to happen if an
option in the default options namespace ("http://www.w3.org/2012/xquery") is
unknown. An example:
declare option unknown "x"; ()
Maybe XQST0124 could be used for that case?
--
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Tuesday, 14 May 2013 18:04:08 UTC