← Back to team overview

widelands-dev team mailing list archive

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

 

Review: Approve

OK then, as far as I can tell this looks good
-- 
https://code.launchpad.net/~widelands-dev/widelands/index_types/+merge/277294
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/index_types.


References