Not sure if this is a bug or not but For some reason the list of users under the “Manage Users and Roles for Profile ‘default’” is not sorting correctly. It seems to sort half the users at a time… i.e a through z for half the users, then a through z for the second half. There does not appear to be any difference in the distribution of roles in the list.
It makes it challenging managing a large list of users through the gateway. Wondering if there is a simple fix out there.