← Back to team overview

widelands-dev team mailing list archive

Thread
Date

Re: [Merge] lp:~hjd/widelands/new-binary into lp:~widelands-dev/widelands/debian

To: mp+282116@xxxxxxxxxxxxxxxxxx
From: SirVer <SirVer@xxxxxx>
Date: Tue, 12 Jan 2016 21:18:10 -0000
In-reply-to: <20160110134923.20148.39446.launchpad@ackee.canonical.com>
Reply-to: mp+282116@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

there have been complains about the PPA not being upgraded, so let's merge this in the meantime.

I still think this should be in trunk if at all possible. is it?

@bunnybot merge
-- 
https://code.launchpad.net/~hjd/widelands/new-binary/+merge/282116
Your team Widelands Developers is requested to review the proposed merge of lp:~hjd/widelands/new-binary into lp:~widelands-dev/widelands/debian.

References

[Merge] lp:~hjd/widelands/new-binary into lp:~widelands-dev/widelands/debian
From: Hans Joachim Desserud, 2016-01-10