Ops, closed this bug accidentally by mistake... However on second thought I'll keep it closed since I can not reproduce the issue in the absence of feedback from submitter for over 6 months.
If the issue is still present I'll be happy to reopen this report. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to [email protected], and the maintainer will reopen the bug report if appropriate. All the best, Dmitry Smirnov GPG key : 4096R/53968D1B -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
