Merge hedgewars (1.0.0-19) import into refs/heads/workingbranch
authorGianfranco Costamagna <locutusofborg@debian.org>
Fri, 5 Aug 2022 15:21:55 +0000 (16:21 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Fri, 5 Aug 2022 15:21:55 +0000 (16:21 +0100)

Trivial merge