> Pressing that button seems to create a duplicate patch, which is not > good. Given that there is no connection between the repository names > (which seem to be duplicated) and the resulting file name, there is no > way to tell whether to press the button or what the result will be.
Don't worry about this. It will *not* normally generate the same file twice, but notice that it already created it. It's just because the same repository was added twice that you can get the same patch out of it twice also. 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