Hi, Here's an update to widelands-0.20.
Release notes: https://www.widelands.org/news/2019/May/4/widelands-build-20-released/ The diff is quite large (typical for widelands...) so I gzipped it. ok? -- Anthony J. Bentley
widelands.diff.gz
Description: widelands.diff.gz
