Merge lp:~lukas-petrovicky/widelands/lp717667 into lp:widelands
Proposed by
triceo
Status: | Merged | ||||
---|---|---|---|---|---|
Merged at revision: | 5832 | ||||
Proposed branch: | lp:~lukas-petrovicky/widelands/lp717667 | ||||
Merge into: | lp:widelands | ||||
Diff against target: |
10 lines (+1/-0) 1 file modified
src/economy/supply_list.h (+1/-0) |
||||
To merge this branch: | bzr merge lp:~lukas-petrovicky/widelands/lp717667 | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Nasenbaer | Approve | ||
Review via email: mp+50190@code.launchpad.net |
Description of the change
A patch for LP 717667. Please review and merge.
To post a comment you must log in.
Thank you for your patch!
I committed it in bzr rev 5832