Sorry, I can't help fix this bug any more. As promised, I preserved the disk for over one month, but then I really needed to grow that /usr partition.
I used "gparted" (0.2.5-2) instead. No problems there. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]