Comment 2 for bug 1059559

Hi!

Fyi: we just got report from the customer that - for some reason - it works again. We didn't change anything :-/ This may also be the reason why we couldn't reproduce the problem.

So you may either consider this one closed or treat it with lower priority, respectively.

@Paul:
We updated yesterday to karl-3.98. Before that they were running 3.90.

Best regards,
Alex