Mimic a rename which Daniel already did in 6.0,
to get rid of a name clash among *deleted* files on case-insignificant file systems.
This commit is contained in:
parent
3f33002fc4
commit
00ca6476be