[PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' of ssh://bagnara@git.cs.unipr. it/git/ppl/ppl