Hi there. The affected machine died recently :-( However, I had installed a newer Ubuntu (I think 11.10) some months before and this problem didn't exist anymore. This ticket can be closed.
Thanks,
Hi there. The affected machine died recently :-( However, I had installed a newer Ubuntu (I think 11.10) some months before and this problem didn't exist anymore. This ticket can be closed.
Thanks,