Hi Lars,
How do we proceed on this case? I have the fixed file, but I am pretty
sure that I'm not allowed to publish it.
In this case, my suggestion is to write to Michel one more time. Please
cc me, and say we'd like to fix what's in the distributions, etc. Ok?
If still no reply then, we can discuss what to do next.
Thanks,
karl