W3C home > Mailing lists > Public > public-qt-comments@w3.org > May 2013

[Bug 21717] Not used: XQST0124

From: <bugzilla@jessica.w3.org>
Date: Tue, 14 May 2013 18:04:05 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-21717-523-In4N9DYHig@http.www.w3.org/Bugs/Public/>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:43 UTC