Revision 6b8fee60d84f4582e40893622bee17be8f0780a7

Committed on 08/05/2022 2:05 am by Luca Realdi <[email protected]> [GitHub Diff]

Fix userGroups set and reindex