<URL: http://bugs.freeciv.org/Ticket/Display.html?id=39923 >

2007/11/28 Jason Dorje Short <jdo...@gmail.com>:
> However the default
> profile hard-coded in freeciv is for pubserver.freeciv.org as the
> server.  This patch should be applied to change that default profile, or
> pubserver.freeciv.org should be changed to point to
> freeciv.ggzgamingzone.org.

 Just found this patch when searching for correct server name to set
in default profile. Seems like Jason wrote the patch I now need
already years ago. I'll test and commit this.

 - ML

Freeciv-dev mailing list

Reply via email to