https://code.launchpad.net/~widelands-dev/widelands/workers_table/+merge/175635
« Back to merge proposal
https:/ /code.launchpad .net/~widelands -dev/widelands/ workers_ table/+ merge/175635