← Back to team overview

widelands-dev team mailing list archive

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

 

This is only ripping out some dead code, so it can go in as soon as Travis goes green.

@bunnybot merge
-- 
https://code.launchpad.net/~widelands-dev/widelands/remove_headquarters/+merge/334212
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/remove_headquarters into lp:widelands.


References