From: jhalter <redacted>
Date: Thu, 26 May 2022 23:54:00 +0000 (-0700)
Subject: Merge pull request #12 from jhalter/fix_userlist_order
X-Git-Url: https://git.r.bdr.sh/rbdr/mobius/commitdiff_plain/301990cbc43d93dddb3ba308c490a55ac03fa915?hp=c7e932c079c1881aed346d4f6f734c3f401bd637

Merge pull request #12 from jhalter/fix_userlist_order

Fix inconsistent sorting of user list
---