Merge remote-tracking branch 'origin/github/pr/88'
authorMichael Prokop <mika@grml.org>
Thu, 14 Nov 2019 16:30:09 +0000 (17:30 +0100)
committerMichael Prokop <mika@grml.org>
Thu, 14 Nov 2019 16:30:09 +0000 (17:30 +0100)
commit1be4f3ede299206ae9c5f7558263eef7b7314fcc
treefd792566af6b96a758b519e74c4fb5a72e53a9ac
parent9bb05af2580c32647555e2bebda6d6080ac269c7
parent2c241ec8082ac5e826e2aaf29ff6d2eb94198c17
Merge remote-tracking branch 'origin/github/pr/88'