widelands-dev team mailing list archive

Thread
Date

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

To: mp+332945@xxxxxxxxxxxxxxxxxx
From: GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>
Date: Wed, 01 Nov 2017 17:08:01 -0000
In-reply-to: <150913286479.2472.3370949138632170096.launchpad@ackee.canonical.com>
Reply-to: mp+332945@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

I did some testing now. I don't get a crash in trunk, but the builder would disappear, while this branch will keep the extra builder on the Ship and return him to a port. So, definitely an improvement! I'll assume that the crash is fixed too and close the bug.

@bunnybot merge
-- 
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.

References

[Merge] lp:~widelands-dev/widelands/bug-1727673 into lp:widelands
From: TiborB, 2017-10-27