Revision 56d47f68578ad971fdcd9127640932f43f663ec2

Committed on 14/06/2019 8:00 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Corregge un problema grave nella sincronizzazione delle classi