Merge hedgewars (1.0.0-14) import into refs/heads/workingbranch
authorGianfranco Costamagna <locutusofborg@debian.org>
Tue, 20 Oct 2020 19:49:28 +0000 (20:49 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Tue, 20 Oct 2020 19:49:28 +0000 (20:49 +0100)

Trivial merge