[PPL-devel] The last three commits...

... are not real. The corresponding mail messages simply escaped my system while I was testing the script that will automate the release process. Just ignore them. Sorry about the inconvenience

Roberto