Carlos Rodrigues Mon, 14 Nov 2005 17:33:22 -0800
This was actually a problem with my filesystem (which passed undetected by Windows' chkdks...). It can be closed safely.
-- Carlos Rodrigues
