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

The proposal to merge lp:~widelands-dev/widelands/ai_productionsites_statistics into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/ai_productionsites_statistics/+merge/367613 -- Your team Widelands

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

transient failure on travis @bunnybot merge force -- https://code.launchpad.net/~widelands-dev/widelands/ai_productionsites_statistics/+merge/367613 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/ai_productionsites_statistics.

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1829471-worker-preciousness into lp:widelands

The proposal to merge lp:~widelands-dev/widelands/bug-1829471-worker-preciousness into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/bug-1829471-worker-preciousness/+merge/367608 -- Your team

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

Refusing to merge, since Travis is not green. Use @bunnybot merge force for merging anyways. Travis build 5025. State: failed. Details: https://travis-ci.org/widelands/widelands/builds/535462295. -- https://code.launchpad.net/~widelands-dev/widelands/ai_productionsites_statistics/+merge/367613

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1829471-worker-preciousness into lp:widelands

@bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/bug-1829471-worker-preciousness/+merge/367608 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1829471-worker-preciousness. ___ Mailing list:

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

That assert is in trunk – it´s our famous Fleet::is_path_favourable problem... A reason this is not being merged yet is, GunChleoc wanted to check if we can merge this without breaking savegame compatibility (I think it´s not possible). I agree that apart from that this branch should be merged

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

Have done some playtesting 4 AI players on full moon. found no obvious anomalies. @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/ai_productionsites_statistics/+merge/367613 Your team Widelands Developers is subscribed to branch

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/choose-attack-soldiers into lp:widelands

How many lines should I set as the always visible minimum? two? -- https://code.launchpad.net/~widelands-dev/widelands/choose-attack-soldiers/+merge/367471 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/choose-attack-soldiers.