Merge remote-tracking branch 'origin/github/pr/87'
authorMichael Prokop <mika@grml.org>
Fri, 15 Nov 2019 16:47:40 +0000 (17:47 +0100)
committerMichael Prokop <mika@grml.org>
Fri, 15 Nov 2019 16:47:40 +0000 (17:47 +0100)
commit7c81531c90c9fb23296f4d297bc2f4a0772793af
tree2cef5f054d30dbd76c7902790aa75a688fd172d5
parent1be4f3ede299206ae9c5f7558263eef7b7314fcc
parent675c85b5e23d4eb5ce94b7aaf300f6847cd0af81
Merge remote-tracking branch 'origin/github/pr/87'