Merge supermin (5.1.20-2) import into refs/heads/workingbranch
authorHilko Bengen <bengen@debian.org>
Mon, 13 Jan 2020 22:52:30 +0000 (22:52 +0000)
committerHilko Bengen <bengen@debian.org>
Mon, 13 Jan 2020 22:52:30 +0000 (22:52 +0000)

Trivial merge