← Back to team overview

widelands-dev team mailing list archive

Thread
Date

Re: [Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands

To: mp+335403@xxxxxxxxxxxxxxxxxx
From: kaputtnik <somal@xxxxxxxx>
Date: Sun, 31 Dec 2017 17:40:11 -0000
In-reply-to: <151370792838.5337.5991221709360305929.launchpad@ackee.canonical.com>
Reply-to: mp+335403@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

I think it's save to use force

@bunnybot merge force

-- 
https://code.launchpad.net/~widelands-dev/widelands/fix-bug-1735980-related-problems/+merge/335403
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/fix-bug-1735980-related-problems.

References

[Merge] lp:~widelands-dev/widelands/fix-bug-1735980-related-problems into lp:widelands
From: Jukka Pakarinen, 2017-12-19