Turns out this issue was resolved a month ago, and the new upstream version migrated which resolved the issue migrated to testing about two weeks ago. For that reason I'm going to close this bug; actually I thought I already had. Please do let me know if you have any trouble with the current version though. Thanks,
--Barak.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
