← Back to team overview

widelands-dev team mailing list archive

Thread
Date

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

To: mp+288859@xxxxxxxxxxxxxxxxxx
From: bunnybot <widelandsofficial@xxxxxxxxx>
Date: Sun, 13 Mar 2016 23:01:20 -0000
In-reply-to: <20160312163124.7454.98329.launchpad@ackee.canonical.com>
Reply-to: mp+288859@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

Bunnybot encountered an error while working on this merge proposal:

global name 'sys' is not defined
-- 
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