- From: <bugzilla@jessica.w3.org>
- Date: Tue, 15 Nov 2011 17:10:46 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=14652
Jonathan Robie <jonathan.robie@gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #3 from Jonathan Robie <jonathan.robie@gmail.com> 2011-11-15 17:10:45 UTC ---
We agreed to resolve this using the following definition:
[Definition: A sequence type A is a subtype of a sequence type B if the
judgement subtype(A, B) is true.]
--
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 Tuesday, 15 November 2011 17:11:31 UTC