[PPL-devel] About to freeze the old PPL source code repository

Dear all,

the subject says it all. If anything goes well (one never knows) tomorrow we should have the new repository. Ciao,

Roberto