[pio-general] Pioneers 0.12.3

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

Hello all,

After the development for Pioneers was pause for more than a year I've
released the source code for Pioneers 0.12.3

It fixes a bug that was present when running Pioneers with newer Linux
kernels. It was not possible to start a computer player from the server
GUI.

New features include the possibility to have your own games and themes
in $XDG_DATA_HOME/pioneers and $XDG_DATA_HOME/pioneers/themes

Regards,
Roland Clobus