Merge supermin (5.1.19-2) import into refs/heads/workingbranch
authorHilko Bengen <bengen@debian.org>
Mon, 15 Jan 2018 11:20:05 +0000 (11:20 +0000)
committerHilko Bengen <bengen@debian.org>
Mon, 15 Jan 2018 11:20:05 +0000 (11:20 +0000)

Trivial merge