We did that and it worked. Thanks a million.
Does it annually do anything? Does the user show up multiple times in the group list or anything?
It doesn't get saved which is good. So only the admin panel has this "bug", where you can add the same user multiple times, but it gets removed once you save the group and reload your tab. So nothing critical.