Merge supermin (5.1.17-8) import into refs/heads/workingbranch
authorHilko Bengen <bengen@debian.org>
Sat, 15 Apr 2017 15:21:10 +0000 (15:21 +0000)
committerHilko Bengen <bengen@debian.org>
Sat, 15 Apr 2017 15:21:10 +0000 (15:21 +0000)

Trivial merge