[pio-announce] Pioneers 0.12.4 released

[Roland C. <rc...@us...>]

Hello all,

I've released Pioneers 0.12.4.
This is a summary of the changes:

* New features:
  * Added a logbot type computer player. With thanks to Andreas Steinel
  * New map: North America by Ron Yorgason
  * New map: Ubuntuland by Matt Perry
  * Added a close button on tab pages. With thanks to Anti Sullin
  * Use AVAHI, With thanks to Andreas Steinel
  * In the connect dialog, the games can be sorted
  * Computer player uses the soldier cards and monopoly cards better
  * New theme ccFlickr, by Aaron Williamson
  * Tooltips for the development cards. With thanks to Aaron Williamson
  * The editor can set/unset nosetup nodes
* Bugfixes
  * Fixed the FreeCIV-like and Wesnoth-like themes
  * The computer player is more stable
  * The meta-server is more stable
  * Use the correct size for the icons in the context menu in the editor

With kinds regards,
Roland Clobus
Developer for Pioneers