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

2019-03-22 Thread kaputtnik
kaputtnik has proposed merging lp:~widelands-dev/widelands-website/official_posts into lp:widelands-website. Commit message: Unify getting of official posts; performance tweaks Requested reviews: Widelands Developers (widelands-dev) For more details, see: https://code.launchpad.net/~widelands

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1807156-heap-use-after-free into lp:widelands

2019-03-22 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/bug-1807156-heap-use-after-free into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/bug-1807156-heap-use-after-free/+merge/363584 -- Your team Widelan

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1807156-heap-use-after-free into lp:widelands

2019-03-22 Thread GunChleoc
We decided in the bug to merge this, since it doesn't do any harm @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/bug-1807156-heap-use-after-free/+merge/363584 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1807156-heap-use-after-fre