Revision 838615cf83b13a0071befcdb9adef289542cfee4

Committed on 11/03/2021 3:08 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Evita un errore nella sincronizzazione dei gruppi di classe