widelands-dev team mailing list archive

[SirVer <SirVer@xxxxxx>]

This is ready for merging now. I would like to wait for another travis run though. If travis is green this can be merged. 

Since I have no internet at home for the foreseeable future, could somebody else merge this for me, please?
-- 
https://code.launchpad.net/~widelands-dev/widelands/beautiful_correct_lines/+merge/284517
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/beautiful_correct_lines.