Hi Arthur, I haven't seen any updates on this issue in the last 2.5 months. Are you working on it? Are there any problems I could help you? What are your plans regarding this bug?
Best regards, Joachim -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

