Tue, 27 Nov 2012 23:47:22 +0100Merge with Mario's changes.
Manuele Conti <conti.ma@alice.it> [Tue, 27 Nov 2012 23:47:22 +0100] rev 769
Merge with Mario's changes.