Follow-up Comment #11, bug #17990 (project freeciv):
> Funny thing is that I remember fixing exactly this several years
> ago, but there's no trace of my fix any more. Someone has
> "optimized" out what he considered redundant city update?
Looks like this was removed as part of the fix for bug #17238. I haven't
thought whether knowing that influences what the correct patch should be.
_______________________________________________________
Reply to this item at:
<http://gna.org/bugs/?17990>
_______________________________________________
Message sent via/by Gna!
http://gna.org/
_______________________________________________
Freeciv-dev mailing list
[email protected]
https://mail.gna.org/listinfo/freeciv-dev
