OpenRA/OpenRA — pull request #2789 by bidifx (2013-03-18 21:28:04+00:00)
Title: update player list in lobby gracefully for better user experience

Please review. :)