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

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