Follow-up Comment #5, bug #13701 (project freeciv): Current evidence suggests that this one either is or is not duplicate of bug #18194, depending what we consider proper way to fix #18194. That is: Fix to bug #18194 may fix this one too or not. If #18194 is fixed so that it also fixes this one, patch I earlier submitted to this ticket is itself an bug. So it should not be committed before we have decided what to do with #18194.
_______________________________________________________ Reply to this item at: <http://gna.org/bugs/?13701> _______________________________________________ Message sent via/by Gna! http://gna.org/ _______________________________________________ Freeciv-dev mailing list Freecivemail@example.com https://mail.gna.org/listinfo/freeciv-dev