<URL: http://bugs.freeciv.org/Ticket/Display.html?id=12712 > Is this fixed? Can this ticket be closed?