diff options
| author |  jesopo | 2018-12-26 23:24:43 +0000 |
|---|---|---|
| committer | jesopo | 2018-12-26 23:24:43 +0000 |
| commit | b8b0adb81171f3ecb6cf1390d91be9422ea32376 (patch) | |
| tree | 963f384cdf7cd12eb2a579b5d5e7243b53bad4fb /modules/github.py | |
| parent | Sort user nicknames on /api/server (stats.py) (diff) | |
| signature | ||
Sort nicknames case-insensitively (stats.py)
Diffstat (limited to 'modules/github.py')
0 files changed, 0 insertions, 0 deletions