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

TiborB has proposed merging lp:~widelands-dev/widelands/seafaring-ai into lp:widelands. Requested reviews: Widelands Developers (widelands-dev) For more details, see: https://code.launchpad.net/~widelands-dev/widelands/seafaring-ai/+merge/242271 Hi, after some time this is ready for review,

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

Also I run codecheck over couple of files that I had edited, therefore the diff shows quite a lot of cosmetic changes. -- https://code.launchpad.net/~widelands-dev/widelands/seafaring-ai/+merge/242271 Your team Widelands Developers is requested to review the proposed merge of

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

Do we not have this code all over the place in the code base already? It maybe makes more sense to pull this out and reuse some code. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1392406/+merge/241727 Your team Widelands Developers is requested to review the proposed merge of

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

Review: Approve No need for merge requests to this repo, just go ahead. Good thinking about adding the originals. I forgot about that :/. -- https://code.launchpad.net/~widelands-dev/widelands-media/message_icons/+merge/241671 Your team Widelands Developers is subscribed to branch