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

2014-12-12 Thread TiborB
Alright, I merged the trunk once more and resolved conflicts...

There is one NOCOM as a reminder for myself...

I will change that enum (in defaultai.cc), it is defined within a function so 
it should not be that dangerous however...
-- 
https://code.launchpad.net/~widelands-dev/widelands/seafaring-ai/+merge/242271
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/seafaring-ai.

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

2014-12-12 Thread GunChleoc
Neither can I, seems to be gone or hiding.

It was about changing the enum to an enum class - the change has the advantage 
that there is less danger of another enum using the same name and the code 
jumping on the wrong enum. We are planning to move from enums to enum classes 
in general. https://bugs.launchpad.net/widelands/+bug/1367725
-- 
https://code.launchpad.net/~widelands-dev/widelands/seafaring-ai/+merge/242271
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/seafaring-ai.

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

2014-12-12 Thread TiborB
I cannot see it. What line number?
-- 
https://code.launchpad.net/~widelands-dev/widelands/seafaring-ai/+merge/242271
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/seafaring-ai.

___
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/clang-for-ai-files into lp:widelands

2014-12-12 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/clang-for-ai-files into 
lp:widelands has been updated.

Status: Needs review => Merged

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/clang-for-ai-files/+merge/244508
-- 
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/clang-for-ai-files.

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

2014-12-12 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/fonts into lp:widelands has 
been updated.

Status: Needs review => Merged

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

___
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] spider lake v.3

2014-12-12 Thread Tibor Bamhor
Please, delete this map from maps download section on the website

Thanks!
___
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/fonts into lp:widelands

2014-12-12 Thread SirVer
Review: Approve

LGTM. A very clear technical KO in round 4, I'd say. Congrats :)

I pushed two more commits with small nits that I found during review. Please 
have a look if you are fine with everything before merging. 
-- 
https://code.launchpad.net/~widelands-dev/widelands/fonts/+merge/238608
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/fonts.

___
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/clang-for-ai-files into lp:widelands

2014-12-12 Thread SirVer
Review: Approve

looks good. Will make the other diff easier to read once this is merged.
-- 
https://code.launchpad.net/~widelands-dev/widelands/clang-for-ai-files/+merge/244508
Your team Widelands Developers is subscribed to branch 
lp:~widelands-dev/widelands/clang-for-ai-files.

___
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