Merge hedgewars (0.9.25-5) import into refs/heads/workingbranch
authorGianfranco Costamagna <locutusofborg@debian.org>
Fri, 4 Jan 2019 20:07:05 +0000 (20:07 +0000)
committerGianfranco Costamagna <locutusofborg@debian.org>
Fri, 4 Jan 2019 20:07:05 +0000 (20:07 +0000)

Trivial merge