]> git.r.bdr.sh - rbdr/mobius/commitdiff
Merge pull request #12 from jhalter/fix_userlist_order
authorjhalter <redacted>
Thu, 26 May 2022 23:54:00 +0000 (16:54 -0700)
committerGitHub <redacted>
Thu, 26 May 2022 23:54:00 +0000 (16:54 -0700)
Fix inconsistent sorting of user list


Trivial merge