Merge hedgewars (1.0.0-4+rpi1) import into refs/heads/workingbranch
authorPeter Michael Green <plugwash@raspbian.org>
Sun, 24 Nov 2019 13:14:55 +0000 (13:14 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Sun, 24 Nov 2019 13:14:55 +0000 (13:14 +0000)

Trivial merge