vassilisp

Any news on this issue? Also fedorahosted.org has been retired so the aforementioned ticket is not accessible any more.