[Freeciv-Dev] (PR#8537) ? Kingdom ?

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

<URL: http://rt.freeciv.org/Ticket/Display.html?id=8537 >

> [cdf30@xxxxxxxxxxx - Tue May 04 16:18:18 2004]:
> 
> 
> I think that "Government" is a more appropriate term for this menu
looking 
> at what it has on it - Tax Rates, Find City, Worklists, Revolution - 
> revolution and tax rates being particularly governmental. NB This is not 
> government as in Despotism, Kingdom, Republic etc but government as in
the 
> people who run the country

Will someone make a patch?

I guess this should just change the menu entries in all the clients. 
Probably the "government" submenu in the gtk2 client should be changed
to "change government" or something.

jason