<URL: http://bugs.freeciv.org/Ticket/Display.html?id=39923 >
2007/11/28 Jason Dorje Short <[email protected]>: > 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 [email protected] https://mail.gna.org/listinfo/freeciv-dev
