Hi Thomas,
On Mon, Jun 16, 2014 at 09:13:20AM +0200, Thomas Schwinge wrote:
> The problem "solved itself": the machine recently died of hardware
> failure. ;-|
How convenient. :-P
What happened?
--
Regards/Gruss,
Boris.
Sent from a fat crate under my desk. Formatting is fine.
--