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

2019-06-28 Thread Benedikt Straub
@bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/constructionsite_options/+merge/369210 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/constructionsite_options. ___ Mailing list: https://launchp

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

2019-06-28 Thread bunnybot
Continuous integration builds have changed state: Travis build 5250. State: passed. Details: https://travis-ci.org/widelands/widelands/builds/551743880. Appveyor build 5029. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_constructi

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

2019-06-28 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/constructionsite_options into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/constructionsite_options/+merge/369210 -- Your team Widelands Developers i

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

2019-06-28 Thread bunnybot
Continuous integration builds have changed state: Travis build 5251. State: failed. Details: https://travis-ci.org/widelands/widelands/builds/551745114. Appveyor build 5030. State: failed. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_ferry-5030.

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

2019-06-28 Thread bunnybot
Continuous integration builds have changed state: Travis build 5254. State: failed. Details: https://travis-ci.org/widelands/widelands/builds/551923331. Appveyor build 5033. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_ferry-5033