Merge remote-tracking branch 'origin/github/pr/81'
authorMichael Prokop <mika@grml.org>
Sat, 23 Nov 2019 11:16:53 +0000 (12:16 +0100)
committerMichael Prokop <mika@grml.org>
Sat, 23 Nov 2019 11:16:53 +0000 (12:16 +0100)

Trivial merge