widelands-dev team mailing list archive
Mailing list archive
Re: [Merge] lp:~widelands-dev/widelands/mines_sleep_time into lp:~widelands-dev/widelands/mines-worldsavior
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.
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/mines-worldsavior.