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
[email protected]
https://mail.gna.org/listinfo/freeciv-dev
