Revision 67c368da0c82fd3b5de96840be0a7f3d1897f85b

Committed on 07/12/2022 9:45 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Introduce uno script di utilità per bloccare i commenti degli operatori