dc1f62fd4d
Server owners can now futz around with the minimum / maximum number of players for roundtypes via game_options.txt