Merge supermin (5.1.19-1) import into refs/heads/workingbranch
authorHilko Bengen <bengen@debian.org>
Wed, 20 Sep 2017 08:51:28 +0000 (09:51 +0100)
committerHilko Bengen <bengen@debian.org>
Wed, 20 Sep 2017 08:51:28 +0000 (09:51 +0100)

Trivial merge