ok, no duplicate of this one for some time and no new comment, perhaps that's fixed in the new version. I'm closing the bug now, feel free to reopen if that happens again.
ok, no duplicate of this one for some time and no new comment, perhaps that's
fixed in the new version. I'm closing the bug now, feel free to reopen if that
happens again.