widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #01265
Re: [Merge] 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 merge of lp:~hjd/widelands/prodsite-null into lp:widelands.
References