The filter field disappears, and the message improperly suggests the group is empty, rather than there being no users matching the filter.
The filter can’t be corrected either, because the field is gone. The user is forced to browse back to the group view without a filter, or to edit the filter which appears in the URL.
Ah good point… that’s annoying, I hid the filter thinking that it’s not necessary if a group has zero members… but I didn’t account for the fact that filtering in itself creates a “no member” state.
Just made an update that fixes that. Ideally we should know the difference, but just reverting back to what it was originally for now.
Just one of those things where the stars aligned and I happened to be looking at the right place at the right time and knew exactly what caused the problem (me).