Hello Jens,

Thank you for the detailed bug report.
It will be fixed in the next version.

Thanks,
  David


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to