Thu, 20 Dec 2012 10:46:51 +0100Merge with Mario's repository.
Manuele Conti <conti.ma@alice.it> [Thu, 20 Dec 2012 10:46:51 +0100] rev 768
Merge with Mario's repository.