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

Reply via email to