Merge branch 'lobby' of https://github.com/JoshuaJB/0ad into lobby-rankings
Merge branch 'lobby-rankings' of https://github.com/JoshuaJB/0ad into lobby-rankings
Send the remainder of the stats to the bot.
Merge branch 'lobby-rankings' of https://github.com/JoshuaJB/0ad into lobby-rankings