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

Well spotted :) @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/run-asan/+merge/334227 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/run-asan. ___ Mailing list:

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

Let's wait for the Travis and Appveyor logs before merging - I'd like to have a look at those, just in case. -- https://code.launchpad.net/~widelands-dev/widelands/run-asan/+merge/334227 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/run-asan.