Now tracked upstream as https://www.hostedredmine.com/issues/760420, although I've failed to work out how to put that as a bug watch.
** Changed in: freeciv Importance: Unknown => Undecided ** Changed in: freeciv Status: Unknown => New ** Changed in: freeciv Remote watch: gna.org #19327 => None ** Bug watch removed: gna.org #19327 http://gna.org/bugs/?19327 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/816197 Title: Cannot change city name font for gtk client- too small To manage notifications about this bug go to: https://bugs.launchpad.net/freeciv/+bug/816197/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs