ZeroK-RTS/Zero-K — pull request #311 by Skasi (2014-10-23 14:54:03+00:00)
Title: Deluxe player list now shows exact elo by default

I don't understand why it was rounded by default. Maybe the whole code for rounding should be removed, it seems obsolete to me.