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

2018-04-08 Thread GunChleoc
Transient failure on Travis. @bunnybot merge force -- https://code.launchpad.net/~widelands-dev/widelands/update_copyright_to_2018/+merge/342829 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/update_copyright_to_2018 into lp:widelands.

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

2018-04-07 Thread GunChleoc
Trivial, just running it through bunnybot to be on the safe side. @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/update_copyright_to_2018/+merge/342829 Your team Widelands Developers is requested to review the proposed merge of