← Back to team overview

widelands-dev team mailing list archive

Thread
Date

Re: [Merge] lp:~widelands-dev/widelands/mines_sleep_time into lp:~widelands-dev/widelands/mines-worldsavior

To: mp+353450@xxxxxxxxxxxxxxxxxx
From: hessenfarmer <stephan-lutz@xxxxxx>
Date: Tue, 21 Aug 2018 08:15:57 -0000
In-reply-to: <153479690946.9277.11209151331293418791.launchpad@ackee.canonical.com>
Reply-to: mp+353450@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

I would appreciate this. However I don't know what are the implications with travis that GunChleoc mentioned. So I am not sure if we have to wait for travis to do so.

-- 
https://code.launchpad.net/~widelands-dev/widelands/mines_sleep_time/+merge/353450
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/mines-worldsavior.

References

[Merge] lp:~widelands-dev/widelands/mines_sleep_time into lp:~widelands-dev/widelands/mines-worldsavior
From: Toni Förster, 2018-08-20