Done. http://bugs.python.org/issue19201 I guess I should have known that. Sorry to bother python-dev with this. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.python.org/pipermail/python-dev/attachments/20131008/f72f5584/attachment.html>