[Freeciv-Dev] Re: [PATCH] Renaming cities. (PR#567)

[Erik Sigra <freeciv@xxxxxxx>]

Gaute B Strokkenes wrote:
> 
> Erik Sigra <freeciv@xxxxxxx> writes:
> 
> > Gaute B Strokkenes wrote:
> >
> > > Well, IIRC there is a policy that e.g. different nation rulesets
> > > can't contain the same names.  I think it would only lead to
> > > potential confusion and cock-up on part of either Freeciv or the
> > > user.
> >
> > Could you supply an URL to that so called policy?
> 
> No.  "IIRC" is short for "if I recall correctly," which is a
> disclaimer stating that I'm not at all sure.  Search the mailing
> lists, though.  IIRC, care has been taken to ensure the Italians and
> the Romans don't share any cities, and likewise for the Russians and
> the Soviets.

Can some message in the archive be a valid Freeciv policy? Doesn't it
have to be stated on a web page (like rtsets.html or something) or in a
file like freeciv_hackers_guide.txt? Seems strange to refer to something
as a policy if it can't be found.