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

The proposal to merge lp:~widelands-dev/widelands/index_types into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/index_types/+merge/277294 -- Your team Widelands Developers is subscribed to branch lp

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

The proposal to merge lp:~widelands-dev/widelands/multiplayer_help into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/multiplayer_help/+merge/274271 -- Your team Widelands Developers is subscribed to

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

Hi GunChleoc, Looking at the changes, I was wondering what kind of problems were faced - I wasn't monitoring the project for roughly 1,5 years, so I am a not that up to date, sorry. Is there one or more bug reports explaining the problem? Is this merge request about savegames or about maps? I a

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

Thanks :) -- https://code.launchpad.net/~widelands-dev/widelands/multiplayer_help/+merge/274271 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/multiplayer_help. ___ Mailing list: https://launchpad.net/~widelands-dev