mciancio: Yes, this is a known bug that's just been fixed in Lucid. But we don't know whether the current report is about it at all.
clarkey: Now the right version is available in Lucid, could you check it's actually fixed? Thanks!
mciancio: Yes, this is a known bug that's just been fixed in Lucid. But we don't know whether the current report is about it at all.
clarkey: Now the right version is available in Lucid, could you check it's actually fixed? Thanks!