Revision 838615cf83b13a0071befcdb9adef289542cfee4

Committed on 11/03/2021 3:08 am by Luca Realdi <[email protected]> [GitHub Diff]

Evita un errore nella sincronizzazione dei gruppi di classe