Merge remote-tracking branch 'origin/github/pr/88'
authorMichael Prokop <mika@grml.org>
Fri, 5 Jun 2020 11:28:27 +0000 (13:28 +0200)
committerMichael Prokop <mika@grml.org>
Fri, 5 Jun 2020 11:28:27 +0000 (13:28 +0200)
commit9fe94e84a80fc5eb449540d77367b19f5d7ed07b
tree67de2f4800dc6cb1db52d4c4909ddea0dba29d40
parentbfa5b78ec168028826cc280d3cc792392d7e72e4
parentd56d6fa46055efde45399faa3a415a3b0a3bd9a8
Merge remote-tracking branch 'origin/github/pr/88'