widelands-dev team mailing list archive

Thread
Date

Re: [Merge] lp:~qcumber-some/widelands/bug1287241 into lp:~widelands-dev/widelands/debian

To: mp+209091@xxxxxxxxxxxxxxxxxx
From: Martin Quinson <mquinson@xxxxxxxxxx>
Date: Mon, 17 Mar 2014 20:39:58 -0000
In-reply-to: <20140303161620.1276.23098.launchpad@ackee.canonical.com>
Reply-to: mp+209091@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

I would say that the current pull request should be dropped, and the other one (by hjd) should be merged in. The fact that I wrote most of the content of hjd's request does not hinder my objectivity of course :)
-- 
https://code.launchpad.net/~qcumber-some/widelands/bug1287241/+merge/209091
Your team Widelands Developers is requested to review the proposed merge of lp:~qcumber-some/widelands/bug1287241 into lp:~widelands-dev/widelands/debian.

References

[Merge] lp:~qcumber-some/widelands/bug1287241 into lp:~widelands-dev/widelands/debian
From: Jens Beyer (Qcumber-some), 2014-03-03