Merge supermin (5.1.19-4) import into refs/heads/workingbranch
authorHilko Bengen <bengen@debian.org>
Mon, 26 Nov 2018 21:25:08 +0000 (21:25 +0000)
committerHilko Bengen <bengen@debian.org>
Mon, 26 Nov 2018 21:25:08 +0000 (21:25 +0000)

Trivial merge