[Bug 11222] src-simple-type.1 should allow duplicate elements from "##other" namespaces

http://www.w3.org/Bugs/Public/show_bug.cgi?id=11222

C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|decided                     |resolved
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #5 from C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> 2011-01-31 23:17:22 UTC ---
The wording change mentioned in comment 2 and attached to this bug report in
comment 3 has now been integrated in the WG's internal working copy (the
'status quo documents') of the spec.  Accordingly, I"m marking this bug as
resolved.

An email notification of this change should be sent automatically by Bugzilla
to Andreas Meissl, the originator of the issue, to whom the following remarks
are directly addressed.   Herr Meissl, thank you for pointing out this problem
to us.  Please examine the change shown in the attachment to comment 3 and
consider whether it resolves the issue in a satisfactory way.  If you are
satisfied with the resolution of the issue you raised, as represented by that
wording change, then please indicate so by changing the status of this bug to
CLOSED.  If for some reason you find the resolution unsatisfactory, then please
indicate so by REOPENing the bug and indicating in the comment what's wrong. 
If we don't hear from you within two weeks, we will assume that you are happy
with the resolution and we may close the bug ourselves.  Thank you again for
your help.

-- 
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 Monday, 31 January 2011 23:17:25 UTC