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

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