← Back to team overview

widelands-dev team mailing list archive

Thread
Date

Re: [Merge] lp:~widelands-dev/widelands/bug1201398 into lp:widelands

To: cghislai <charlyghislain@xxxxxxxxx>
From: SirVer <SirVer@xxxxxx>
Date: Sat, 20 Jul 2013 09:59:27 -0000
In-reply-to: <20130715160832.29097.99240.launchpad@ackee.canonical.com>
Reply-to: mp+174809@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

Review: Approve

lgtm. I removed one unneeded boost header and merged to trunk.
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug1201398/+merge/174809
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug1201398.

References

[Merge] lp:~widelands-dev/widelands/bug1201398 into lp:widelands
From: cghislai, 2013-07-15