Sort usernames correctly in Lobby #159

Closed

Assignees

Labels

opened

on May 30, 2018

See:

The users should be sorted alphabetically.

Metadata

Assignees

Zomis

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests