Ok my last comment is obsolete. Sorry.
There is a discussion of this in another bug report. I will look for it later.
Sebastian
Ok my last comment is obsolete. Sorry.
There is a discussion of this in another bug report. I will look for it later.
Sebastian