Merge remote-tracking branch 'origin/github/pr/3'
authorMichael Prokop <mika@grml.org>
Tue, 9 Jun 2020 20:09:16 +0000 (22:09 +0200)
committerMichael Prokop <mika@grml.org>
Tue, 9 Jun 2020 20:09:16 +0000 (22:09 +0200)
commitbd9c64c6444599586109cb9e89171c40bd57ddef
tree0d1e3b17e090036872798ddb893c34c33c962cda
parent508d788851b99c4054b465d6ff40834905738e82
parentc0acd324c28506c5c110bf6dcee87238267a8a6d
Merge remote-tracking branch 'origin/github/pr/3'