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:
Message sent via/by Gna!
Freeciv-dev mailing list