← Back to team overview

widelands-dev team mailing list archive

Thread
Date

Re: [Merge] lp:~widelands-dev/widelands/bug-1395278-map_io into lp:widelands

To: mp+288859@xxxxxxxxxxxxxxxxxx
From: Klaus Halfmann <klaus.halfmann@xxxxxxxx>
Date: Sun, 13 Mar 2016 15:58:55 -0000
In-reply-to: <20160312163124.7454.98329.launchpad@ackee.canonical.com>
Reply-to: mp+288859@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

Review: Approve

Found only renamings, execpt for one improvement,
fine for me. 

Will now play some Artifact hunting for completeness...
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1395278-map_io/+merge/288859
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1395278-map_io.

References

[Merge] lp:~widelands-dev/widelands/bug-1395278-map_io into lp:widelands
From: GunChleoc, 2016-03-12