W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2015

[Bug 28632] map:merge and timezones

From: <bugzilla@jessica.w3.org>
Date: Tue, 09 Jun 2015 22:38:19 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-28632-523-Cd4eqr9MYb@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=28632

Michael Kay <mike@saxonica.com> changed:

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

--- Comment #7 from Michael Kay <mike@saxonica.com> ---
A proposal was raised at
https://lists.w3.org/Archives/Member/w3c-xsl-query/2015Jun/0006.html
(member-only) and was accepted.

Note that this decision overturns the previous decision on bug #25375. A map
can now mix values with and without timezones; a value with timezone is never
the "same key" as a value sans timezone.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Tuesday, 9 June 2015 22:38:21 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 9 June 2015 22:38:22 UTC