Follow-up Comment #6, bug #13701 (project freeciv):
> 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.
Was the eventual fix for #18194 such that we should apply the patch here, do
nothing, or something else?
_______________________________________________________
Reply to this item at:
<http://gna.org/bugs/?13701>
_______________________________________________
Message sent via/by Gna!
http://gna.org/
_______________________________________________
Freeciv-dev mailing list
[email protected]
https://mail.gna.org/listinfo/freeciv-dev