José Matos wrote:
> OK then. Enrico earlier agreed with this and then we will have more time to
> fix this properly.

Done. I've also reopened the bug report with a comment.

Jürgen

Reply via email to