OpenRA/OpenRA — pull request #6753 by pchote (2014-10-14 10:25:55+00:00)
Title: Ingame menu cleanup

These are just the fixes from #6752.