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

2017-11-02 Thread GunChleoc
is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1727673 into lp:widelands. ___ Mailing list: https://launchpad.net/~widelands-dev Post to : widelands-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~widelands-dev

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

2017-11-01 Thread TiborB
BTW, can you tell where the first builder came from? -- https://code.launchpad.net/~widelands-dev/widelands/bug-1727673/+merge/332945 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1727673 into lp:widelands

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

2017-11-01 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/bug-1727673 into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/bug-1727673/+merge/332945 -- Your team Widelands Developers is requested to rev

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

2017-11-01 Thread GunChleoc
://code.launchpad.net/~widelands-dev/widelands/bug-1727673/+merge/332945 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1727673 into lp:widelands. ___ Mailing list: https://launchpad.net/~widelands-dev

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

2017-10-28 Thread TiborB
This is exactly the same situation as when port constructionsite disappears during unloading of wares/worker. So yes.. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1727673/+merge/332945 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev

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

2017-10-28 Thread GunChleoc
-dev/widelands/bug-1727673 into lp:widelands. ___ Mailing list: https://launchpad.net/~widelands-dev Post to : widelands-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp

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

2017-10-27 Thread bunnybot
/_widelands_dev_widelands_bug_1727673-2529. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1727673/+merge/332945 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1727673 into lp:widelands. ___ Mailing list: https

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

2017-10-27 Thread TiborB
us nullptr. Sometimes it crashes. The solution is to leave the builder on the ship. -- Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1727673 into lp:widelands. === modified file 'src/logic/map_objects/tribes/ship.cc' --- src/logic/map_obje