Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug1098263 into lp:widelands

I moved this branch to ~widelands-dev and will do so in the future :-) -- https://code.launchpad.net/~widelands-dev/widelands/bug1098263/+merge/174275 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug1098263 into lp:widelands. ___

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/get_defeated_fix into lp:widelands

cghislai has proposed merging lp:~widelands-dev/widelands/get_defeated_fix into lp:widelands. Requested reviews: Widelands Developers (widelands-dev) Related bugs: Bug #1198624 in widelands: "A player should be considered defeated in Autocrat after losing all warehouses, rather than all buil