Done.
http://bugs.python.org/issue19201I guess I should have known that. Sorry to bother python-dev with this.
_______________________________________________ Python-Dev mailing list [email protected] https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
