"posfan12" <nomail@nomail> wrote:

>
> Should I file a bug report?

I'm not sure, if it is a bug. May be we both have overlooked something. I wanted
to provide you with a quick workaround.

Best regards,
Michael

Post a reply to this message