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

2018-01-28 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/irc_users into lp:widelands 
has been updated.

Status: Needs review => Merged

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/irc_users/+merge/335898
-- 
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/irc_users.

___
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/irc_users into lp:widelands

2018-01-28 Thread bunnybot
Continuous integration builds have changed state:

Travis build 3107. State: passed. Details: 
https://travis-ci.org/widelands/widelands/builds/334452896.
Appveyor build 2914. State: success. Details: 
https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_irc_users-2914.
-- 
https://code.launchpad.net/~widelands-dev/widelands/irc_users/+merge/335898
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/irc_users.

___
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/irc_users into lp:widelands

2018-01-28 Thread SirVer
I did the merge of master.

@bunnybot merge
-- 
https://code.launchpad.net/~widelands-dev/widelands/irc_users/+merge/335898
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/irc_users.

___
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-website/better_notification_mail into lp:widelands-website

2018-01-28 Thread SirVer
Review: Approve

lgtm. not tested though.
-- 
https://code.launchpad.net/~widelands-dev/widelands-website/better_notification_mail/+merge/335028
Your team Widelands Developers is subscribed to branch lp:widelands-website.

___
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/ai_portspaces into lp:widelands

2018-01-28 Thread TiborB
OK, I need this (and the other AI branch) so I can resume AI training...

Two considerations:
1.) Some training is still needed to settle the changes
2.) The main problem here is road building, AI tend to build a road over free 
space and is insensitive about what fields it is crossing. I was considering 
some changes to the logic of placing the road (for AI), perhaps I will prepare 
some changes in this regard in the future...
-- 
https://code.launchpad.net/~widelands-dev/widelands/ai_portspaces/+merge/335785
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/ai_portspaces.

___
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/fh1-barbarians2 into lp:widelands

2018-01-28 Thread Klaus Halfmann
OK, see only obvious changes.

going to compile and testplay now
-- 
https://code.launchpad.net/~widelands-dev/widelands/fh1-barbarians2/+merge/336707
Your team Widelands Developers is requested to review the proposed merge of 
lp:~widelands-dev/widelands/fh1-barbarians2 into lp:widelands.

___
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/fh1-barbarians1 into lp:widelands

2018-01-28 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/fh1-barbarians1 into 
lp:widelands has been updated.

Status: Needs review => Merged

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/fh1-barbarians1/+merge/336706
-- 
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/fh1-barbarians1.

___
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/fh1-barbarians1 into lp:widelands

2018-01-28 Thread Klaus Halfmann
Review: Approve review, compile, testplay

Playing this to the End, found only

> Story Message Box: using NEW font renderer.

@bunnybot merge
-- 
https://code.launchpad.net/~widelands-dev/widelands/fh1-barbarians1/+merge/336706
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/fh1-barbarians1.

___
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