[Widelands-dev] [Merge] lp:~hjd/widelands/prodsite-null into lp:widelands

2013-07-18 Thread Hans Joachim Desserud
Hans Joachim Desserud has proposed merging lp:~hjd/widelands/prodsite-null into lp:widelands. Requested reviews: Widelands Developers (widelands-dev) For more details, see: https://code.launchpad.net/~hjd/widelands/prodsite-null/+merge/175538 Found by scan-build. I believe this should fix the

[Widelands-dev] [Merge] lp:~hjd/widelands/prodsite-null into lp:widelands

2013-07-18 Thread SirVer
The proposal to merge lp:~hjd/widelands/prodsite-null into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~hjd/widelands/prodsite-null/+merge/175538 -- https://code.launchpad.net/~hjd/widelands/prodsite-null/+merge/175538 Your

Re: [Widelands-dev] [Merge] lp:~hjd/widelands/prodsite-null into lp:widelands

2013-07-18 Thread cghislai
Indeed, I missed that. I noticed however than even with this fix the table is not updating in current trunk. I will push a new branch with the complete fix. -- https://code.launchpad.net/~hjd/widelands/prodsite-null/+merge/175538 Your team Widelands Developers is requested to review the proposed

Re: [Widelands-dev] [Merge] lp:~hjd/widelands/prodsite-null into lp:widelands

2013-07-18 Thread cghislai
https://code.launchpad.net/~widelands-dev/widelands/workers_table/+merge/175635 -- 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.

Re: [Widelands-dev] [Merge] lp:~hjd/widelands/prodsite-null into lp:widelands

2013-07-18 Thread SirVer
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.