W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2016

[Bug 29929] map:merge: duplicates=unspecified

From: <bugzilla@jessica.w3.org>
Date: Wed, 12 Oct 2016 08:47:10 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29929-523-MlVA3012cD@http.www.w3.org/Bugs/Public/>

--- Comment #1 from Michael Kay <mike@saxonica.com> ---
One member of the WG persuaded his colleagues that there were many situations
where the user would know that duplicates would never be encountered, and
therefore didn't care how they were handled, and therefore wanted the
implementation to use whatever approach would be most efficient; and that
different implementation strategies might lead to a different answer to what
the most efficient choice would be.

You are receiving this mail because:
You are the QA Contact for the bug.
Received on Wednesday, 12 October 2016 08:47:18 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:58:02 UTC