Merge remote-tracking branch 'origin/github/pr/84'
authorMichael Prokop <mika@grml.org>
Fri, 16 Aug 2019 09:03:37 +0000 (11:03 +0200)
committerMichael Prokop <mika@grml.org>
Fri, 16 Aug 2019 09:03:37 +0000 (11:03 +0200)
commitb5f593a05757b092adecd1e76e5c01df9f098417
tree4ef8be0fbf1197de6731e2377c597dcf316715d5
parentffe57c8786bf71c015d948eff4253089725b9f8e
parenta03c1ff732f7d3e0b645dfeb3d298f15ab6111f0
Merge remote-tracking branch 'origin/github/pr/84'