Revision 3c61920c16dfc680d7c339e8b588f3353fca3ea6

Committed on 23/10/2020 4:00 pm by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Reindicizza in background gli operatori quando viene modificato un gruppo