Hi, Here's an update to widelands-0.19.
Release notes: https://launchpad.net/widelands/+milestone/build-18 https://launchpad.net/widelands/+milestone/build19 The diff is rather large (4.4 MB), so rather than getting it in a 75k-line mail, you can fetch it from: https://ajb.soy/tmp/widelands.diff ok? -- Anthony J. Bentley
