[Freeciv-Dev] patch: fix for the city rename update problem

[sebauer@xxxxxxxxxxx (Sebastian Bauer)]

Hi,

The attached patch solves a problem which happened at least with the
mui client if a city is renamed. The map wasn't updated so there
was still the old name visible. The attached patch should fix it
(and also if production changes)

I changed something in non mui parts, that's why I send it to the
ML first.

bye,
Sebastian Bauer

citydesc.diff
Description: Text document