Merge remote-tracking branch 'origin/github/pr/80'
authorMichael Prokop <mika@grml.org>
Mon, 25 Nov 2019 07:07:00 +0000 (08:07 +0100)
committerMichael Prokop <mika@grml.org>
Mon, 25 Nov 2019 07:07:00 +0000 (08:07 +0100)
commit86ba1dec36a7ff43d9b6274910370e1e1374e9a6
tree81c7dbb1bcfab2e9164345940422354482a11847
parent1e64daf182f43329878bd1dfaedf572db95f67e7
parent5709350f7bc5c062427b53c0048ae677e4ffda36
Merge remote-tracking branch 'origin/github/pr/80'