Merge performous (1.1+git20181118-4) import into refs/heads/workingbranch
authorGianfranco Costamagna <locutusofborg@debian.org>
Fri, 14 Feb 2020 11:12:49 +0000 (11:12 +0000)
committerGianfranco Costamagna <locutusofborg@debian.org>
Fri, 14 Feb 2020 11:12:49 +0000 (11:12 +0000)

Trivial merge