Merge proposals dependent on lp:~widelands-dev/widelands/bug-1525706-artifacts

lp:~widelands-dev/widelands/bug-1525706-artifacts has no merge proposals.