Revision fd60c53a237ad9358027374374be01b1158106dd

Committed on 09/06/2022 9:04 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Cast value in user group permissions