[Freeciv-Dev] [patch #6676] Server option to enforce player/leader and user names are the same

2015-12-12 Thread Jacob Nevins
URL: Summary: Server option to enforce player/leader and user names are the same Project: Freeciv Submitted by: jtn Submitted on: Sat 12 Dec 2015 13:46:49 UTC Category: None

[Freeciv-Dev] [patch #6676] Server option to enforce player/leader and user names are the same

2015-12-12 Thread Jacob Nevins
Follow-up Comment #1, patch #6676 (project freeciv): I guess anonymous AI players would still take their player (and notionally user) names from nation definitions. ___ Reply to this item at: