Revision 56d47f68578ad971fdcd9127640932f43f663ec2

Committed on 14/06/2019 8:00 am by Luca Realdi <[email protected]> [GitHub Diff]

Corregge un problema grave nella sincronizzazione delle classi