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
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