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

2018-03-07 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/ai_wai_files_2 into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/ai_wai_files_2/+merge/341010 -- Your team Widelands Developers is subscri

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

2018-03-07 Thread GunChleoc
Review: Approve Great, let's get them in ASAP :) @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/ai_wai_files_2/+merge/341010 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/ai_wai_files_2.

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

2018-03-07 Thread GunChleoc
The proposal to merge lp:~widelands-dev/widelands/ai_wai_files_2 into lp:widelands has been updated. Commit Message changed to: New AI files For more details, see: https://code.launchpad.net/~widelands-dev/widelands/ai_wai_files_2/+merge/341010 -- Your team Widelands Developers is requested

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

2018-03-07 Thread bunnybot
/_widelands_dev_widelands_ai_wai_files_2-3088. -- https://code.launchpad.net/~widelands-dev/widelands/ai_wai_files_2/+merge/341010 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/ai_wai_files_2 into lp:widelands. ___ Mailing list

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

2018-03-07 Thread TiborB
training. No code. -- Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/ai_wai_files_2 into lp:widelands. === modified file 'data/ai/ai_input_1.wai' --- data/ai/ai_input_1.wai 2018-02-26 20:43:02 + +++ data/ai/ai_input_1.wai 2018-03-07 11:27