Revision c56205a64e051350b868787bf6bb8d3124140365

Committed on 08/08/2022 5:52 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Corregge un bug sul selettore degli operatori