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

The proposal to merge lp:~widelands-dev/widelands-website/update_third_party_2019 into lp:widelands-website has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands-website/update_third_party_2019/+merge/369747 -- Your team

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

Merged and deployed -- https://code.launchpad.net/~widelands-dev/widelands-website/update_third_party_2019/+merge/369747 Your team Widelands Developers is subscribed to branch lp:widelands-website. ___ Mailing list: https://launchpad.net/~widelands-dev

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

Review: Needs Fixing I have to test a bit more before merging this. On my second computer i get some errors after merging this branch. -- https://code.launchpad.net/~widelands-dev/widelands-website/move_maps_minimap/+merge/370039 Your team Widelands Developers is subscribed to branch lp:wideland

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

Review: Resubmit A better solution: Using signals, especially when deleting files, can lead into some sideeffects. So i have implemented a custom delete() function which is much better, imho. -- https://code.launchpad.net/~widelands-dev/widelands-website/move_maps_minimap/+merge/370039 Your tea