Mirror of the official freeciv repository (starting from revision 22108).