Merge hedgewars (1.0.0-13) import into refs/heads/workingbranch
authorGianfranco Costamagna <locutusofborg@debian.org>
Mon, 19 Oct 2020 17:27:39 +0000 (18:27 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Mon, 19 Oct 2020 17:27:39 +0000 (18:27 +0100)

Trivial merge