tree 28905a91fd2b50def24c0731689803b8e1af8beb
parent 5116f90ece5586cdca04e91cf0b1bb566bcc258d
author Guido van Rossum <guido@python.org> 928877006 +0000
committer Guido van Rossum <guido@python.org> 928877006 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4013443

Fix (sanctioned by Sjoerd) for a problem reported by Andreas Faerber:
all processing instruction target names containing 'xml' were
rejected, instead (as the standard rejects) only the name 'xml' itself
(or case variants thereof).