Merge pull request #3354 from WoltLab/alphabetical-user-group-sorting
authorAlexander Ebert <ebert@woltlab.com>
Thu, 4 Jun 2020 22:23:34 +0000 (00:23 +0200)
committerGitHub <noreply@github.com>
Thu, 4 Jun 2020 22:23:34 +0000 (00:23 +0200)
Alphabetical sorting of user groups


Trivial merge