Revision a1ae30182083c064f30ba0e7d2d9ce464c7b3a3a

Committed on 10/06/2020 3:49 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Corregge un bug nella definizione degli handler dei blocchi