Hi Pascal, Sorry for taking so long to reply to this bug. I have been able to reproduce and fix it. Can you please verify that commit c14cb4a250d1b4ad63a741d4868ad7f06ff4bd3f fixes it for you, too?
Thanks! Best regards, Michael -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

