Re: [PATCH] Use shutil.move when os.rename fails
On Mon, Mar 29, 2021 at 3:45 PM Devendra Tewari
It would be better to use shutil.move unconditionally in all cases,
rather than have a separate shutil.move code path which only gets
tested by people doing incremental builds in docker.