This is contained in charlys branch as well, so this is kinda merged. Thanks for finding this! -- https://code.launchpad.net/~hjd/widelands/prodsite-null/+merge/175538 Your team Widelands Developers is requested to review the proposed merge of lp:~hjd/widelands/prodsite-null into lp:widelands.
_______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : widelands-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
