Revision 4285a97af033583114af86457a9a99bd4466162b

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

Corregge alcuni bug che producevano warning