235
236
# source and target may be aliases of each other (e.g. on a
236
237
# case-insensitive filesystem), so we may have accidentally renamed
237
238
# source by when we tried to rename target
242
247
# If the file used to exist, rename it back into place