Bug#497050: problem gone

[Armin Fuerst]

Hi,

I can't remember when this problem occurred the last time,
so for my specific situation, the bug seems solved.

Armin



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]