Merge branch 'main' into lang_de

This commit is contained in:
2022-05-04 00:52:37 +02:00
4 changed files with 7 additions and 5 deletions

View File

@@ -175,6 +175,7 @@ public class User {
if (emails != null) query.where(EMAIL,emails);
var rs = query.compile().exec();
while (rs.next()) userList.add(User.from(rs));
Collections.sort(userList,(u1,u2)->u1.name.compareTo(u2.name));
return userList;
}