Christoph Leistert cc2bb96abc Fixes #9482: A user could be assigned to a parent group if he is already assigned to a subgroup.		2022-09-06 21:31:31 +02:00
..
src	Fixes #9482: A user could be assigned to a parent group if he is already assigned to a subgroup.	2022-09-06 21:31:31 +02:00
pom.xml	Support running base testsuite on Windows	2022-08-10 20:03:53 -03:00