antoniop
committed
on 28 Aug 20
When a new group is created, flush all the group::get_id caches with the same name so that the new group has a chance to be retrieved

Note … Show more
When a new group is created, flush all the group::get_id caches with the same name so that the new group has a chance to be retrieved

Note that it is wrong to assume a group_name will be unique, although this is normally not far from the truth in our everyday practice

Show less