Hi Thomas, A follow-up on this, I was not (yet) able to troughly check this. So mainly forwarding upstream bugreport to you.
Regards, Salvatore -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

