It's a known issue -- which I thought was fixed recently. I would have responded sooner, but I couldn't remember where website bugs are to be reported and figured someone would chime in with the link. I *don't* think it's bugs.python.org, though I could be wrong.
Skip _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com