teeworlds/teeworlds — pull request #958 by cinaera (2012-04-22 17:37:38+00:00)
Title: Small changes

- Improved shuffling
- Case insensitive ordering
- small fixes