From 00ca6476be4030324e7856219a4a8e800282f101 Mon Sep 17 00:00:00 2001 From: "joerg@trift2." <> Date: Thu, 25 Oct 2007 13:17:44 +0200 Subject: [PATCH] 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.