I opened an issue proposing exactly the same change, but I didn't provide a patch. Thanks for working on the issue.
(Sorry I don't know the issue number. Search for "zipfile encoding".) Victor
_______________________________________________ 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
