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

2018-03-07 Thread TiborB
TiborB has proposed merging lp:~widelands-dev/widelands/ai_wai_files_2 into lp:widelands. Requested reviews: Widelands Developers (widelands-dev) For more details, see: https://code.launchpad.net/~widelands-dev/widelands/ai_wai_files_2/+merge/341010 This is result of about 40 rounds of AI tra

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

2018-03-07 Thread bunnybot
Continuous integration builds have changed state: Travis build 3280. State: passed. Details: https://travis-ci.org/widelands/widelands/builds/350280770. Appveyor build 3088. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_ai_wai_fil

[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 to

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 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 subscribed to bran

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

2018-03-07 Thread Trimardio
Trimardio has proposed merging lp:~widelands-dev/widelands-website/scheduling_minor_fix into lp:widelands-website. Requested reviews: Widelands Developers (widelands-dev) For more details, see: https://code.launchpad.net/~widelands-dev/widelands-website/scheduling_minor_fix/+merge/341060 --

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

2018-03-07 Thread Trimardio
Trimardio has proposed merging lp:~widelands-dev/widelands-website/scheduling_minor_fix into lp:widelands-website. Requested reviews: Widelands Developers (widelands-dev) For more details, see: https://code.launchpad.net/~widelands-dev/widelands-website/scheduling_minor_fix/+merge/341061 --

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

2018-03-07 Thread kaputtnik
If i have time zone set to CET +1, shouldn't the displayed time zone be "UTC + 1"? This is not the case. It still says "You are currently noted as UTC". If i have set the users time zone to "-11" the error message says: "The time indicated by your browser (UTC + 1) is different from the one stor