Re: [Python-Dev] os.rename on windows