Merge lp:~hjd/widelands/prodsite-null into lp:widelands
Proposed by
Hans Joachim Desserud
Status: | Merged |
---|---|
Merge reported by: | SirVer |
Merged at revision: | not available |
Proposed branch: | lp:~hjd/widelands/prodsite-null |
Merge into: | lp:widelands |
Diff against target: |
13 lines (+1/-1) 1 file modified
src/wui/productionsitewindow.cc (+1/-1) |
To merge this branch: | bzr merge lp:~hjd/widelands/prodsite-null |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Widelands Developers | Pending | ||
Review via email: mp+175538@code.launchpad.net |
Description of the change
Found by scan-build. I believe this should fix the issue.
To post a comment you must log in.
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.