widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #05986
[Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
The proposal to merge lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands has been updated.
Commit Message changed to:
- Only allow building a port if all fields can be conquered. Fixes bug 1542703. Also added a test for this issue.
- Forcing a constructionsite properly conquers the area that the finished building will occupy.
- Code simplifications/refactorings around ships.
- Small const correctness in Map.
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/ship_and_portspaces/+merge/285409
--
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands.
Follow ups
-
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: TiborB, 2016-02-11
-
[Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: noreply, 2016-02-11
-
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: SirVer, 2016-02-11
-
[Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: bunnybot, 2016-02-11
-
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: SirVer, 2016-02-11
-
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: GunChleoc, 2016-02-10
-
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: GunChleoc, 2016-02-10
-
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: GunChleoc, 2016-02-10
-
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: TiborB, 2016-02-09
-
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: GunChleoc, 2016-02-09
-
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: TiborB, 2016-02-09
-
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: TiborB, 2016-02-09
-
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: TiborB, 2016-02-09
-
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: GunChleoc, 2016-02-09
-
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: TiborB, 2016-02-09
-
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: GunChleoc, 2016-02-09
-
Re: [Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: TiborB, 2016-02-09
-
[Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: bunnybot, 2016-02-09
-
[Merge] lp:~widelands-dev/widelands/ship_and_portspaces into lp:widelands
From: SirVer, 2016-02-08