[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands

2018-12-26 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/bug-1802629-territorial-crash 
into lp:widelands has been updated.

Status: Needs review => Merged

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1802629-territorial-crash/+merge/359227
-- 
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bug-1802629-territorial-crash.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bugfix-1805042-S2map-preloader-checks into lp:widelands

2018-12-26 Thread noreply
The proposal to merge 
lp:~widelands-dev/widelands/bugfix-1805042-S2map-preloader-checks into 
lp:widelands has been updated.

Status: Needs review => Merged

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bugfix-1805042-S2map-preloader-checks/+merge/360762
-- 
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bugfix-1805042-S2map-preloader-checks.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1806903-worker-default-quantities into lp:widelands

2018-12-26 Thread noreply
The proposal to merge 
lp:~widelands-dev/widelands/bug-1806903-worker-default-quantities into 
lp:widelands has been updated.

Status: Needs review => Merged

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1806903-worker-default-quantities/+merge/361155
-- 
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bug-1806903-worker-default-quantities.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1806230-enable-ok-button into lp:widelands

2018-12-26 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/bug-1806230-enable-ok-button 
into lp:widelands has been updated.

Status: Needs review => Merged

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1806230-enable-ok-button/+merge/361163
-- 
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bug-1806230-enable-ok-button.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands

2018-12-26 Thread Toni Förster
@bunnybot merge force
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1802629-territorial-crash/+merge/359227
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bug-1802629-territorial-crash.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bugfix-1805042-S2map-preloader-checks into lp:widelands

2018-12-26 Thread Toni Förster
@bunnybot merge
-- 
https://code.launchpad.net/~widelands-dev/widelands/bugfix-1805042-S2map-preloader-checks/+merge/360762
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bugfix-1805042-S2map-preloader-checks.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1806903-worker-default-quantities into lp:widelands

2018-12-26 Thread Toni Förster
@bunnybot merge
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1806903-worker-default-quantities/+merge/361155
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bug-1806903-worker-default-quantities.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp


[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1802629-territorial-crash into lp:widelands

2018-12-26 Thread bunnybot
Continuous integration builds have changed state:

Travis build 4367. State: errored. Details: 
https://travis-ci.org/widelands/widelands/builds/472186642.
Appveyor build 4160. State: success. Details: 
https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_bug_1802629_territorial_crash-4160.
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1802629-territorial-crash/+merge/359227
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/bug-1802629-territorial-crash.

___
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp