OpenRA/OpenRA — pull request #4881 by joncloud (2014-03-16 02:17:01+00:00)
Title: Fixed #4697 - Added lobby disconnect hotkey, and renamed the button for ...

...single player.