On 3/22/2011 9:51 PM, "Martin v. Löwis" wrote:
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.
Could duplicate repositories be prevented?
--
Terry Jan Reedy
_______________________________________________
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
