Merge proposals dependent on lp:~widelands-dev/widelands/split_lua_table

lp:~widelands-dev/widelands/split_lua_table has no merge proposals.