Revision 3c61920c16dfc680d7c339e8b588f3353fca3ea6

Committed on 23/10/2020 4:00 pm by Luca Realdi <[email protected]> [GitHub Diff]

Reindicizza in background gli operatori quando viene modificato un gruppo