> Ok, I've applied the patches by hand in the local repo, without > committing them. It seems to fix the issue AFAICT.
I tried merging the change with git, but that would merge a lot of other changes as well, and produce conflicts. So I just committed and pushed your changes. Feel free to commit anything you change right away; I can then push the changes. Or you push them yourself. Just leaving them uncommitted is fine as well. Regards, Martin _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
