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.
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
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.
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
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
5 matches
Mail list logo
