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
